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

DOI10.1007/978-3-642-03816-7_49zbMath1250.03025OpenAlexW2106049833MaRDI 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 semanticsapproximation theorem\(\lambda \)-calculus\(\lambda \)-theoriescpo-enriched categoriesnon-well-pointed categories

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Combinatory logic and lambda calculus (03B40)

Related Items (7)

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

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

This page was built for publication: A General Class of Models of $\mathcal{H}^*$