First Order Logic With Domain Conditions (2001)

Cached

Download Links

by Freek Wiedijk , Jan Zwanenburg
Venue:in `Theorem Proving in Higher Order Logics, TPHOLs 2003', Vol. 2758 of LNCS
Citations:3 - 0 self

Documents Related by Co-Citation

235 The formal semantics of programming languages - an introduction. Foundation of computing series – G Winskel - 1993
520 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
478 The calculus of constructions – G Huet Coquand - 1988
441 The formulas-as-types notion of construction – W A Howard - 1980
344 Intuitionistic Type Theory – Per Martin-Löf - 1984
262 Programming in Martin-Lof type theory: an introduction – Bengt Nordstrom, Kent Petersson, Jan M Smith - 1990
176 An Introduction to Inductive Definitions – P Aczel - 1977
155 The view from the left – C McBride, J McKinna