A sufficient condition for completability of partial combinatory algebras

DOI10.2307/2275638zbMath0918.03007OpenAlexW2046611773MaRDI QIDQ4382471

Andrea Asperti, Agata Ciabattoni

Publication date: 17 August 1999

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275638

zbMATH Keywords

completenesscompletabilitypartial combinatory algebra

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (2)

Effective applicative structures ⋮ Embeddings between partial combinatory algebras

This page was built for publication: A sufficient condition for completability of partial combinatory algebras