Date: 09 Jun 2005

λμ-Calculus: An algorithmic interpretation of classical natural deduction

* Final gross prices may vary according to local VAT.

Get Access