Native type theory

zbMATH Open1530.03057arXiv2102.04672MaRDI QIDQ6153331FDOQ6153331

Authors: Christian Williams, Michael Stay 

Publication date: 13 February 2024

Full work available at URL: https://arxiv.org/abs/2102.04672

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

Mathematics Subject Classification ID

Type theory (03B38)

Cites Work

• Title not available (Why is that?)
• Categories for Types
• Title not available (Why is that?)
• Title not available (Why is that?)
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Generalized algebraic theories and contextual categories
• The formal theory of monads
• Practical foundations for programming languages
• The calculus of constructions
• Adjointness in Foundations
• Wellfounded trees in categories
• Title not available (Why is that?)
• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
• Natural models of homotopy type theory
• A reflective higher-order calculus
• Trustworthy Global Computing

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)