Untyped algorithmic equality for Martin-Löf’s logical framework with surjective pairs (extended version (2005)

by Andreas Abel , Thierry Coqu
Citations:9 - 5 self