Inner Models of Univalence

DOI10.1145/3209108.3209112zbMATH Open1452.03035OpenAlexW2810205615MaRDI QIDQ5145271

Thierry Coquand

Publication date: 20 January 2021

Published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3209108.3209112

zbMATH Keywords

univalencedependent type theory

Mathematics Subject Classification ID

Type theory (03B38)

Related Items (1)

Title not available (Why is that?)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• The category of inner models 👍 👎
• Unirationality and Existence of Infinitely Transitive Models 👍 👎
• Beginning Inner Model Theory 👍 👎
• An Outline of Inner Model Theory 👍 👎
• Deconstructing inner model theory 👍 👎
• Inner Model Operators and the Continuum Hypothesis 👍 👎
• Fine structure for tame inner models 👍 👎
• Model-theoretic aspects of unification 👍 👎

This page was built for publication: Inner Models of Univalence

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