A General Class of Models of $\mathcal{H}^*$

DOI10.1007/978-3-642-03816-7_49zbMath1250.03025MaRDI QIDQ3182956

Giulio Manzonetto

Publication date: 16 October 2009

Published in: Mathematical Foundations of Computer Science 2009 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-03816-7_49

zbMATH Keywords

relational semantics; approximation theorem; \(\lambda \)-calculus; \(\lambda \)-theories; cpo-enriched categories; non-well-pointed categories

Mathematics Subject Classification ID

06B35: Continuous lattices and posets, applications

18D15: Closed categories (closed monoidal and Cartesian closed categories, etc.)

03B40: Combinatory logic and lambda calculus

Related Items

Unnamed Item, Unnamed Item, Unnamed Item, Essential and relational models, Relational graph models, Taylor expansion and extensionality, What is a categorical model of the differential and the resource λ-calculi?, Call-by-Value Non-determinism in a Linear Logic Type Discipline

Cites Work

• The lambda calculus. Its syntax and semantics. Rev. ed.
• Normal functors, power series and \(\lambda\)-calculus
• Not Enough Points Is Enough
• A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus
• The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus
• On phase semantics and denotational semantics: The exponentials
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item