Undecidability of Equality in the Free Locally Cartesian Closed Category
Paper in proceeding, 2015
Author
Peter Dybjer
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Simon Castellan
Pierre Clairambault
Leibniz International Proceedings in Informatics, LIPIcs
18688969 (ISSN)
Vol. 38 138-152978-393989787-3 (ISBN)
Areas of Advance
Information and Communication Technology
Subject Categories
Computer and Information Science
Roots
Basic sciences
DOI
10.4230/LIPIcs.TLCA.2015.138
ISBN
978-393989787-3