Untyped Algorithmic Equality for Martin-Löf's Logical Framework with Surjective Pairs.
Paper in proceedings, 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

More information

Created

10/7/2017