Free deduction: an analysis of "computations (1991)

by M PARIGOT
Venue:in classical logic. 2nd Russian Conference on Logic Programming