For the Metatheory of Type Theory, Internal Sconing Is Enough
Paper i proceeding, 2023
sconing
normalization
type theory
gluing
presheaves
canonicity
Författare
Rafaël Bocquet
Eötvös Loránd University (ELTE)
Ambrus Kaposi
Eötvös Loránd University (ELTE)
Christian Sattler
Chalmers, Data- och informationsteknik, Computing Science
Leibniz International Proceedings in Informatics, LIPIcs
18688969 (ISSN)
Vol. 260 189783959772778 (ISBN)
Rome, Italy,
Bevisteori och semantik för homotopitypteori i högre ordningens kategorier
Vetenskapsrådet (VR) (2019-03765), 2020-01-01 -- 2023-12-31.
Ämneskategorier
Företagsekonomi
Datavetenskap (datalogi)
DOI
10.4230/LIPIcs.FSCD.2023.18