Skip to content

The Relevance of Proof-Irrelevance.

Gilles Barthe

VenueA*ICALP
Year1998
ProceedingsICALP

Browse the full ICALP paper archive.