Native type theory

MaRDI QIDQ6153331zbMATH OpenFDO

Authors Christian Williams, Michael Stay

Publication date 13 February 2024

Full work available at URL https://arxiv.org/abs/2102.04672, https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2021.9

Mathematics Subject Classification ID

Type theory (03B38)

Recommendations

• Constructing type systems over an operational semantics
• scientific article; zbMATH DE number 3881865
• Do-it-yourself type theory
• Abstract Data Types and Type Theory: Theories as Types
• A modular construction of type theories

Cites work

• scientific article; zbMATH DE number 5761737 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• A reflective higher-order calculus
• Adjointness in Foundations
• Categories for Types
• Generalized algebraic theories and contextual categories
• Natural models of homotopy type theory
• Practical foundations for programming languages
• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
• The calculus of constructions
• The formal theory of monads
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Trustworthy Global Computing
• Wellfounded trees in categories

This page was built for publication: Native type theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6153331)