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-152

Styrkeområden

Informations- och kommunikationsteknik

Ämneskategorier

Data- och informationsvetenskap

Fundament

Grundläggande vetenskaper

DOI

10.4230/LIPIcs.TLCA.2015.138

ISBN

978-393989787-3