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
