A \(\kappa\)-denotational semantics for map theory in ZFC+SI

DOI10.1016/S0304-3975(96)00302-7zbMath0912.68122MaRDI QIDQ5906925

Klaus Grue, Chantal Berline

Publication date: 22 July 1998

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

\(\lambda\)-calculuscanonical models

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (4)

Unnamed Item ⋮ A synthetic axiomatization of map theory ⋮ Dedekind completion as a method for constructing new Scott domains ⋮ From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models

Cites Work

• The system \({\mathcal F}\) of variable types, fifteen years later
• \(\kappa\)-continuous lattices and comprehension principles for Frege structures
• A type-free system extending (ZFC)
• The lambda calculus, its syntax and semantics
• Map theory
• Complete restrictions of the intersection type discipline
• Model theory
• Consistency of a \(\lambda\)-theory with \(n\)-tuples and easy term
• Toward useful type-free theories. I
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A \(\kappa\)-denotational semantics for map theory in ZFC+SI