Session 8: Logical Frameworks

Logic Programming and Automated Reasoning

Volume 624 of the series Lecture Notes in Computer Science pp 190-201


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

  • Michel ParigotAffiliated withEquipe de logique - CNRS UA 753 45-55 5éme étage, Université Paris 7

* Final gross prices may vary according to local VAT.

Get Access