Type Theory and Programming (1994)

by Thierry Coquand , Bengt Nordström , Jan M. Smith , Björn von Sydow
Citations:22 - 2 self

Documents Related by Co-Citation

262 Programming in Martin-Lof type theory: an introduction – Bengt Nordstrom, Kent Petersson, Jan M Smith - 1990
478 The calculus of constructions – G Huet Coquand - 1988
520 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
441 The formulas-as-types notion of construction – W A Howard - 1980
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
344 Intuitionistic Type Theory – Per Martin-Löf - 1984
505 Introduction to HOL: a theorem proving environment for higher order logic – M J C Gordon, T F Melham - 1993
751 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
958 A machine-oriented logic based on the resolution principle – J A Robinson - 1965