The relevance of proof irrelevance (1998)

by G Barthe
Venue:In Authomata, Languages and Programming (ICALP’98), volume 1443 of LNCS