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)
Published in
Proceedings of the 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005); in: LECTURE NOTES IN COMPUTER SCIENCE , Volume: 3461)
p. 23-38
Categorizing
Subject Categories (SSIF 2011)
Computer Science