A natural semantics of first-order type dependency

DOI10.1016/0304-3975(94)90067-1zbMath0801.68109OpenAlexW1984674897MaRDI QIDQ1314402

Claude Bertrand

Publication date: 29 November 1994

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

Full work available at URL: https://doi.org/10.1016/0304-3975(94)90067-1

zbMATH Keywords

categorical semanticsdI-domainsfirst-order type dependency

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Cites Work

• Unnamed Item
• Unnamed Item
• Domain interpretations of Martin-Löf's partial type theory
• The system \({\mathcal F}\) of variable types, fifteen years later
• Generalized algebraic theories and contextual categories
• Categorical logic and type theory
• Domain theoretic models of polymorphism
• Locally cartesian closed categories and type theory

This page was built for publication: A natural semantics of first-order type dependency