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
19 Higher Order Logic – Daniel Leivant - 1994
Completeness Results for . . . – Mark Kaminski - 2006
1 Collections, Sets and Types – Gilles Dowek - 1995
A Challenge for Mechanized Deduction – Christoph Benzmüller, Manfred Kerber
2 A Lost Proof – Christoph Benzmüller, Manfred Kerber - 2001
AGS 2004 This SEKI Report was internally reviewed by: – Universität Des Saarlandes, Christoph Benzmüller, Claus-peter Wirth - 901
1 Combining and Automating Classical and Non-Classical Logics in Classical Higher-Order Logics – Christoph Benzmüller
9 Multimodal and Intuitionistic Logics in Simple Type Theory – C. Benzmüller, L. C. Paulson
14 Quantified multimodal logics in simple type theory – Christoph Benzmüller, Lawrence C. Paulson - 2009
71 PROOFS IN HIGHER-ORDER LOGIC – Dale A. Miller - 1983
11 Automating access control logics in simple type theory with LEO-II – Christoph Benzmüller - 2008
Abstraction-Based Genetic Programming By – Franck J. L. Binard
Model Existence for Higher Order Logic – Christoph Benzmüller, Michael Kohlhase - 2000
44 Kripke-Style Models for Typed Lambda Calculus – John C. Mitchell, Eugenio Moggi - 1996
and – Edward N. Zalta
Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence Automating Quantified Conditional Logics in HOL ⇤ – Christoph Benzmüller
1 Curry's Anticipation of the Types Used in Programming Languages – Jonathan P. Seldin - 2003
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