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)