Free Deduction: An Analysis of ”Computations (1990)

by M Parigot
Venue:in Classical Logic, Lecture Notes in Computer Science (592