Type Theory with Explicit Universe Polymorphism
Paper i proceeding, 2023
constraint-indexed products
type theory
universes in type theory
level-indexed products
universe polymorphism
Författare
M. Bezem
Universitetet i Bergen
Thierry Coquand
Göteborgs universitet
Peter Dybjer
Chalmers, Data- och informationsteknik, Computing Science
Martín Hötzel Escardó
University of Birmingham
Leibniz International Proceedings in Informatics, LIPIcs
18688969 (ISSN)
Vol. 269 139783959772853 (ISBN)
Nantes, France,
Ämneskategorier
Data- och informationsvetenskap
DOI
10.4230/LIPIcs.TYPES.2022.13