From term models to domains

DOI10.1007/3-540-54415-1_42zbMath1496.03063OpenAlexW4235997985MaRDI QIDQ5096213

Wesley Phoa

Publication date: 16 August 2022

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-54415-1_42

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30) Topoi (18B25) Combinatory logic and lambda calculus (03B40)

Cites Work

• The lambda calculus. Its syntax and semantics. Rev. ed.
• A small complete category
• Extensional PERs
• The Discrete Objects in the Effective Topos
• The Category-Theoretic Solution of Recursive Domain Equations
• Data Types as Lattices
• Building domains from graph models
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: From term models to domains