A Polymorphic &lambda;-Calculus With Type:Type

A Polymorphic λ-Calculus With Type:Type (1986)

Cached

Download Links

by Luca Cardelli

Citations:

BibTeX

@TECHREPORT{Cardelli86apolymorphic,
    author = {Luca Cardelli},
    title = {A Polymorphic λ-Calculus With Type:Type},
    institution = {},
    year = {1986}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

727	On understanding types, data abstraction, and polymorphism - Cardelli, Wegner - 1985
266	Abstract types have existential type - Mitchell, Plotkin - 1988
121	An ideal model for recursive polymorphic types - MacQueen, Plotkin, et al. - 1986
64	Constructions: A higher order proof system for mechanizing mathematics. volume 203 - Coquand, Huet - 1985
57	A kernel language for abstract data types and modules - Burstall, Lampson - 1984
31	The expressiveness of simple and second-order type structures - Fortune, Leivant, et al.
26	Data Types are Values - Donahue, Demers - 1985
21	Intuitionistic type theory: notes by Giovanni Sambin of a series of lectures given - Martin-Löf - 1984
19	The �nitary projection model for second order lambda calculus and solutions to higher order domain equations - Bruce�, Longo - 1986
16	The type theory of PL/CV3 - Constable, Zlatin - 1984
11	M.B.Reinhold: 'Type' is not a type - Meyer - 1986
9	J.Donahue: An informal description of Russell - Boehm - 1980
9	R.Meyer: The semantics of second order polymorphic lambda calculus - Bruce - 1984
4	Semantics for classical AUTOMATH and related systems - Barendregt, Rezus - 1983
4	Intuitionistic type theory, Notes by Giovanni Sambin of a series of lectures given at the - Martin-Lf - 1980
3	Khamiss: The while-rule in Martin-Löf's theory of types - Backhouse - 1984
2	G.Longo: A type-free look at types as parameters - Amadio
1	Khamiss: The while-rule in Martin-Lf's theory of types - Backhouse - 1984
1	A theory of types, Report 71-3 - Martin-Lf - 1971
1	A theory of types, Report 71-3 - Martin-Löf - 1971

A Polymorphic &lambda;-Calculus With Type:Type (1986)

Cached

Download Links

BibTeX

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

A Polymorphic λ-Calculus With Type:Type (1986)