scientific article; zbMATH DE number 7804587

zbMath1530.03114arXiv1904.01081MaRDI QIDQ6193827

Alberto Speranzon, David I. Spivak, Brendan Fong

Publication date: 13 February 2024

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

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

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Type theory (03B38)

Cites Work

• Unnamed Item
• Unnamed Item
• The calculus of constructions
• Isabelle/HOL. A proof assistant for higher-order logic
• Temporal type theory. A topos-theoretic approach to systems and behavior
• The Lean Theorem Prover (System Description)
• The benefits of relaxing punctuality
• Continuous Lattices and Domains
• An Invitation to Applied Category Theory
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

This page was built for publication: