Course Notes in Typed Lambda Calculus (1998)

Cached

Download Links

by Thierry Coquand
Citations:2 - 0 self

Active Bibliography

Lambda-Calculus and Functional Programming – Jonathan P. Seldin
18 Higher Order Logic – Daniel Leivant - 1994
Automation of Higher-Order Logic – Christoph Benzmüller, Dale Miller, Readers Peter Andrews, Jasmin Blanchette, William Farmer, Herman Geuvers, Bruno Woltzenlogel Paleo
Completeness Results for . . . – Mark Kaminski - 2006
1 Collections, Sets and Types – Gilles Dowek - 1995
A Challenge for Mechanized Deduction – Christoph Benzmüller, Manfred Kerber
AGS 2004 This SEKI Report was internally reviewed by: – Universität Des Saarlandes, Christoph Benzmüller, Claus-peter Wirth - 901
11 Automating access control logics in simple type theory with LEO-II – Christoph Benzmüller - 2008
71 PROOFS IN HIGHER-ORDER LOGIC – Dale A. Miller - 1983
3 A Lost Proof – Christoph Benzmüller, Manfred Kerber - 2001
16 Quantified multimodal logics in simple type theory – Christoph Benzmüller, Lawrence C. Paulson - 2009
11 Multimodal and Intuitionistic Logics in Simple Type Theory – C. Benzmüller, L. C. Paulson
2 Combining and Automating Classical and Non-Classical Logics in Classical Higher-Order Logics – Christoph Benzmüller
Abstraction-Based Genetic Programming By – Franck J. L. Binard
Model Existence for Higher Order Logic – Christoph Benzmüller, Michael Kohlhase - 2000
and – Edward N. Zalta
44 Kripke-Style Models for Typed Lambda Calculus – John C. Mitchell, Eugenio Moggi - 1996
Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence Automating Quantified Conditional Logics in HOL ⇤ – Christoph Benzmüller
2 An Interactive Proof System for Map Theory – Sebastian C. Skalberg, Gertrud Bauer, Stefan Berghofer, Gerwin Klein, David Von Oheimb, Prensa Nieto, Markus Wenzel, Thomas Marthedal Rasmussen, Jakob Grue Simonsen, Peter Mller Neergaard, Nally Anders Bystrup, Dina Friis, Jarl Friis, Signe Reuss, Christian Stefansen, Rolf Dyre Svegstrup - 2002