scientific article; zbMATH DE number 3532924
From MaRDI portal
Publication:4109652
zbMath0342.02019MaRDI QIDQ4109652
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophical and critical aspects of logic and foundations (03A05) Combinatory logic and lambda calculus (03B40)
Related Items (9)
Levy Labels and Recursive Types ⋮ Unnamed Item ⋮ \(\mathbb{T}^\omega\) as a universal domain ⋮ Highlights in infinitary rewriting and lambda calculus ⋮ Spiritus asper versus lambda: on the nature of functional abstraction ⋮ Map theory ⋮ A \(\kappa\)-denotational semantics for map theory in ZFC+SI ⋮ Applications of infinitary lambda calculus ⋮ From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models
This page was built for publication:
