Gluing for type theory
Paper i proceeding, 2019
Författare
Ambrus Kaposi
Simon Huber
Chalmers, Data- och informationsteknik, Datavetenskap
Christian Sattler
Logik och Typer
Leibniz International Proceedings in Informatics, LIPIcs
18688969 (ISSN)
Vol. 131 25:1-25:19, ,
Ämneskategorier
Algebra och logik
Datavetenskap (datalogi)
DOI
10.4230/LIPIcs.FSCD.2019.25