Publication:4109652
From MaRDI portal
zbMath0342.02019MaRDI QIDQ4109652
Publication date: 1975
03A05: Philosophical and critical aspects of logic and foundations
03B40: Combinatory logic and lambda calculus
Related Items
A \(\kappa\)-denotational semantics for map theory in ZFC+SI, Applications of infinitary lambda calculus, \(\mathbb{T}^\omega\) as a universal domain, Map theory, From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models