Constructive Logics. Part I: A Tutorial on Proof Systems and Typed λ-Calculi (1992)

by Jean Gallier
Citations:60 - 2 self

Documents Related by Co-Citation

469 The formulae-as-types notion of construction – W Howard - 1980
597 Untersuchungen über das logische Schließen – G Gentzen - 1935
273 Investigations into logical deduction – Gerhard Gentzen - 1969
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
552 Lambda Calculi with Types – Henk Barendregt - 1993
762 Introduction to Metamathematics – S C Kleene
766 Notions of Computation and Monads – Eugenio Moggi - 1991
385 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
669 Light Linear Logic – Jean-yves Girard