Untyped Algorithmic Equality for Martin-Löf's Logical Framework with Surjective Pairs.
Paper in proceeding, 2005
Author
Thierry Coquand
University of Gothenburg
Andreas Abel
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Proceedings of the 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005); in: LECTURE NOTES IN COMPUTER SCIENCE , Volume: 3461)
23-38
Subject Categories
Computer Science