[Lecture Notes in Computer Science] Logic Programming and Automated Reasoning Volume 624 || λμ-Calculus: An algorithmic interpretation of classical natural deduction
Voronkov, AndreiVolume:
10.1007/BF
Year:
1992
Language:
english
DOI:
10.1007/BFb0013061
File:
PDF, 622 KB
english, 1992