Free Deduction: An Analysis of "Computations" in Classical Logic.

Michel Parigot

Browse the full LPAR paper archive.