Find out how to access preview-only content
Logic Programming and Automated Reasoning
Volume 624 of the series Lecture Notes in Computer Science pp 190-201
Date:
λμ-Calculus: An algorithmic interpretation of classical natural deduction
- Michel ParigotAffiliated withEquipe de logique - CNRS UA 753 45-55 5éme étage, Université Paris 7
- Title
- λμ-Calculus: An algorithmic interpretation of classical natural deduction
- Book Title
- Logic Programming and Automated Reasoning
- Book Subtitle
- International Conference LPAR '92 St. Petersburg, Russia, July 15–20, 1992 Proceedings
- Pages
- pp 190-201
- Copyright
- 1992
- DOI
- 10.1007/BFb0013061
- Print ISBN
- 978-3-540-55727-2
- Online ISBN
- 978-3-540-47279-7
- Series Title
- Lecture Notes in Computer Science
- Series Volume
- 624
- Series Subtitle
- Lecture Notes in Artificial Intelligence
- Series ISSN
- 0302-9743
- Publisher
- Springer Berlin Heidelberg
- Copyright Holder
- Springer-Verlag
- Additional Links
- Topics
- Industry Sectors
- eBook Packages
- Editors
- Authors
-
- Michel Parigot (1)
- Author Affiliations
-
- 1. Equipe de logique - CNRS UA 753 45-55 5éme étage, Université Paris 7, 2 place jussieu, 75251, Paris Cedex 05, France
Continue reading...
To view the rest of this content please follow the download PDF link above.