On the computational interpretation of negation (2000)

by M Parigot
Venue:EACSL 2000, Lecture Notes in Computer Science (1862