Untyped Algorithmic Equality for Martin-Löf's Logical Framework with Surjective Pairs.
Paper i proceeding, 2005
Författare
Thierry Coquand
Göteborgs universitet
Andreas Abel
Chalmers, Data- och informationsteknik, Datavetenskap
Proceedings of the 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005); in: LECTURE NOTES IN COMPUTER SCIENCE , Volume: 3461)
23-38
Ämneskategorier
Datavetenskap (datalogi)