Algebraic domains of natural transformations

DOI10.1016/0304-3975(94)00122-YzbMath0874.68182MaRDI QIDQ1349657

Adrian Fiech, Michael Huth

Publication date: 27 February 1997

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

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Functor categories, comma categories (18A25)

Related Items (1)

Polymorphic lambda calculus and subtyping.

Uses Software

• Automath

Cites Work

• The largest Cartesian closed category of domains
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Continuations in possible-world semantics
• Categories of embeddings
• 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: Algebraic domains of natural transformations