A Comparison of Type Theory with Set Theory

DOI10.1007/978-3-030-15655-8_12zbMath1528.03109OpenAlexW2988841356MaRDI QIDQ6075430

Ansten Mørch Klev

Publication date: 20 September 2023

Published in: Synthese Library (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-15655-8_12

Mathematics Subject Classification ID

Set theory (03E99) Type theory (03B38)

Related Items (3)

The placeholder view of assumptions and the Curry-Howard correspondence ⋮ Spiritus asper versus lambda: on the nature of functional abstraction ⋮ The placeholder view of assumptions and the Curry-Howard correspondence (extended abstract)

Cites Work

• ``Inference versus consequence revisited: inference, consequence, conditional, implication
• Realizability and intuitionistic logic
• Inductive families
• Unification of universes in set theory
• A framework for defining logics
• A general formulation of simultaneous inductive-recursive definitions in type theory
• Extensional Constructs in Intensional Type Theory
• Frege, August Bebel and the Return of Alsace-Lorraine: The dating of the distinction between Sinn and Bedeutung
• THE CONCEPTHORSEIS A CONCEPT
• Homotopy Type Theory: Univalent Foundations of Mathematics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Comparison of Type Theory with Set Theory