Types in logic and mathematics before 1940 (2002)

by Fairouz Kamareddine , Twan Laan , Rob Nederpelt
Venue:Bulletin of Symbolic Logic
Citations:11 - 6 self

Documents Related by Co-Citation

854 A formulation of the simple theory of types – Alonzo Church - 1940
92 The mathematical language AUTOMATH, its usage, and some of its extensions – N G de Bruijn - 1970
1125 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1981
24 Constructive natural deduction and its modest interpretation – G Longo, E Moggi - 1988
17 Strictness analysis via abstract interpretation for recursively defined types – G R Renardel de Lavalette - 1991
696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
473 The Calculus of Constructions – T Coquand, G Huet - 1988
35 Heijenoort, editor. From Frege to Gödel: A Source Book – J van - 1967
114 Introduction to Combinators and λ–Calculus – J R Hindley, J P Seldin - 1986
288 Interpretation Fonctionelle et Elimination des Coupures dans l'Arithmetique d'Ordre Superieure – J -Y Girard - 1972
4 Revisiting the λ-calculus notion of function – F Kamareddine, T Laan, R P Nederpelt - 2003
11 De Bruijn’s syntax and reductional behaviour of lambda terms: the untyped case – F Kamareddine, R Bloo
9 Letter to Russell. English translation – G Frege - 1902
52 Lambda-calcul et réseaux – Laurent Regnier - 1992
186 Parameter-Passing and the Lambda Calculus – Erik Crank, Matthias Felleisen - 1991
78 A direct algorithm for type inference in the rank-2 fragment of the second-order λ-calculus – A. J. Kfoury, J. B. Wells - 1993
14 Calculi of Generalised β-Reduction and Explicit Substitutions: The Type-Free and Simply Typed Versions – Fairouz Kamareddine , Alejandro Ríos, J. B. Wells - 1998
37 The Barendregt Cube with Definitions and Generalised Reduction – Roel Bloo, Fairouz Kamareddine, Rob Nederpelt - 1997
32 The Conservation Theorem revisited – Philippe de Groote - 1993