Undecidability of Equality in the Free Locally Cartesian Closed Category
Paper i proceeding, 2015
Författare
Peter Dybjer
Chalmers, Data- och informationsteknik, Datavetenskap
Simon Castellan
Pierre Clairambault
13th International Conference on Typed Lambda Calculi and Applications (Leibniz International Proceedings in Informatics, LIPIcs)
1868-8969 (ISSN)
Vol. 38 138-152Styrkeområden
Informations- och kommunikationsteknik
Ämneskategorier
Data- och informationsvetenskap
Fundament
Grundläggande vetenskaper
DOI
10.4230/LIPIcs.TLCA.2015.138
ISBN
978-393989787-3