Constructive Category Theory (1998)

Cached

Download Links

by Gérard Huet , Amokrane Saïbi
Venue:IN PROCEEDINGS OF THE JOINT CLICS-TYPES WORKSHOP ON CATEGORIES AND TYPE THEORY, GOTEBORG
Citations:25 - 1 self

Documents Related by Co-Citation

474 The calculus of constructions – T Coquand, G Huet - 1988
924 Categories for the working mathematician – S Mac Lane - 1971
518 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
731 Notions of Computation and Monads – Eugenio Moggi - 1991
550 The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression – R Reiter - 1991
1490 Some philosophical problems from the standpoint of artificial intelligence – John McCarthy, Patrick J. Hayes - 1969
3836 Introduction to automata theory, languages, and computation – J E Hopcroft, R Motwani, J D Ullman - 2001
1566 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
570 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977