On the existence of extensional partial combinatory algebras

DOI10.2307/2274368zbMath0645.03010OpenAlexW4255763910MaRDI QIDQ3787976

Ingemarie Bethke

Publication date: 1987

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

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

zbMATH Keywords

logic of partial termspartial applicative structurescombinatorial completenessPartial combinatory algebras

Mathematics Subject Classification ID

Partial orders, general (06A06) Other algebras related to logic (03G25) Combinatory logic and lambda calculus (03B40)

Related Items (3)

Collapsing partial combinatory algebras ⋮ ORDINAL ANALYSIS OF PARTIAL COMBINATORY ALGEBRAS ⋮ Set-theoretical and other elementary models of the \(\lambda\)-calculus

This page was built for publication: On the existence of extensional partial combinatory algebras