scientific article; zbMATH DE number 3532924

MaRDI QIDQ4109652zbMATH OpenFDO

Authors Dana Scott

Publication date 1975

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Combinatory logic and lambda calculus (03B40)

Cited in

(9)

• 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
• Highlights in infinitary rewriting and lambda calculus
• scientific article; zbMATH DE number 7226002 (Why is no real title available?)
• Levy labels and recursive types
• A -denotational semantics for map theory in ZFC+SI
• Spiritus asper versus lambda: on the nature of functional abstraction

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4109652)