Gluing for type theory
Paper in proceeding, 2019
Author
Ambrus Kaposi
Simon Huber
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Christian Sattler
Logic and Types
Leibniz International Proceedings in Informatics, LIPIcs
18688969 (ISSN)
Vol. 131 25:1-25:19, ,
Subject Categories
Algebra and Logic
Computer Science
DOI
10.4230/LIPIcs.FSCD.2019.25