Undecidability of Equality in the Free Locally Cartesian Closed Category
Paper in proceedings, 2015

Author

Peter Dybjer

Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)

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

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

More information

Created

10/7/2017