MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Lambda Calculi with Types (1992) [431 citations — 6 self]

by Henk Barendregt ,  S. Abramsky ,  D. M. Gabbay ,  T. S. E. Maibaum ,  H. P. Barendregt
Handbook of Logic in Computer Science
Add To MetaCart

Abstract:

-

Citations

179 A filter lambda model and the completeness of type assignment – Barendregt, Coppo, et al. - 1983
56 An eternal golden braid – Hofstadter, Escher - 1979
41 Type inference with recursive types: Syntax and semantics – Cardone, Coppo - 1991
17 Essay on Combinatory Logic, Lambda Calculus and Formalisms, chapter The formulae-as-type notion of construction – Curry - 1980
12 The simple semantics for Coppo-Dezani-SallĂ© types – Hindley - 1982
11 Modified basic functionality in combinatory logic – Curry - 1969
5 A completeness theorem for recursively defined types – Coppo - 1985
2 antinomies de Russell et de Burali-Forti et le probl`eme fondamental de la th'eorie des ensembles, L' Enseignement Math'ematique 19, 37--52 – Les
1 Typing in pure type systems – Berardi
1 A survey of the AUTOMATH project, in: Hindley and Seldin – Cardelli, Wegner - 1980
1 paradox with the Type : Type axiom, in: The calculus of constructions, Documentation and users's guide, version 4.10 – Reynolds
1 Polymorphic types, fixed-point combinators and continuous lambda models – Wirsing, North-Holland
1 A modular proof of strong normalisation for the calculus of constructions – Giannini, S
1 Interpr'etation foctionelle et 'elimination des coupures dans l'arithm'etique d'ordre sup'erieur – Girard, Lafont, et al.
1 types, Tracts in Theoretical Computer Science 7 – Proofs
1 The formulae-as-types notion of construction, in: Hindley and Seldin – Howard, Kreisel, et al. - 1980
1 unpublished notes – Report
1 models with polymorphic types, to appear in Theoretical – Filter
1 Combinatory reduction systems – Krivine
1 Embedding first order predicate logic in fragments of intuitionistic logic – Longo, E
1 An extended calculus of constructions – MacQueen, Plotkin, et al.
1 Introduction to mathematical logic, third edition – Mendler
1 Strong normalization in a typed lambda calculus with lambda structured types – Nerode, P
1 Natural deduction: a proof-theoretical study, Almqvist and – Quine
1 Strictness analysis via abstract interpretation for recursively defined types – Reynolds
1 die Bausteinen der mathematische Logik – Uber
1 mock a mockingbird – To
1 terms and proof theory – Combinators
1 strong sum-elimination in intuitionistic type theory – Weak
1 pragmatics of lambda calculus – Semantics
1 A simple algorithm and proof for type inference, Fund – Whitehead, N, et al.
View or Download | Add to My Collection | Correct Errors