λµ-calculus: An algorithmic interpretation of classical natural deduction (1992)

by Michel Parigot
Venue:In Logic Programming and Automated Reasoning, LPAR 1992, volume 624 of LNAI