The relevance of proof-irrelevance (1998)

by G Barthe
Venue:Proceedings of ICALP’98, volume 1443 of LNCS