scientific article; zbMATH DE number 7804576

zbMath1530.03057arXiv2102.04672MaRDI QIDQ6153331

Christian Williams, Michael A. Stay

Publication date: 13 February 2024

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Type theory (03B38)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Generalized algebraic theories and contextual categories
• The calculus of constructions
• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
• Wellfounded trees in categories
• The formal theory of monads
• Practical Foundations for Programming Languages
• Natural models of homotopy type theory
• Adjointness in Foundations
• Categories for Types
• Trustworthy Global Computing

This page was built for publication: