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

by Andreas Abel , Thierry Coqu
Citations:11 - 4 self