An intuitionistic theory of types

Cached

Download Links

by Per Martin-Löf
Citations:67 - 0 self

Documents Related by Co-Citation

702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
344 Intuitionistic Type Theory – Per Martin-Löf - 1984
478 The calculus of constructions – G Huet Coquand - 1988
262 Programming in Martin-Lof type theory: an introduction – Bengt Nordstrom, Kent Petersson, Jan M Smith - 1990
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
520 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
734 Notions of Computation and Monads – Eugenio Moggi - 1991
1318 Monads for functional programming – Philip Wadler - 1995
857 A formulation of the simple theory of types – Alonzo Church - 1940