Foundations of Computing
By publishing comprehensive books and specialized monographs on the theoretical aspects of computer science, the series on Foundations of Computing provides a forum in which important research topics can be presented in their entirety and placed in perspective for researchers, students, and practitioners alike. This series is no longer active, and the MIT Press is no longer accepting proposals for books in the series.
Series editor: Michael Garey and Albert Meyer
Mar 17, 2003
Jan 01, 2003
Sep 29, 2000
Proof, Language, and Interaction
May 08, 2000
Jan 23, 1997
Foundations for Programming Languages
Aug 29, 1996
Aug 26, 1996
Algebraic Semantics of Imperative Programs
May 22, 1996
Circuit Complexity and Neural Networks
Jul 27, 1994
May 06, 1994
The Structure of Typed Programming Languages
Mar 01, 1994
From Logic to Logic Programming
Jan 11, 1994
Exploring Interior-Point Linear Programming
Nov 10, 1993
Oct 13, 1993
The Formal Semantics of Programming Languages
Feb 05, 1993
Semantics of Programming Languages
Sep 14, 1992
Categories, Types, and Structures
Aug 23, 1991
Basic Category Theory for Computer Scientists
Aug 07, 1991
Single-Layer Wire Routing and Compaction
Dec 13, 1989
Aug 01, 1989
Dec 09, 1988
May 25, 1988
Mar 25, 1988
Theory of Deductive Systems and Its Applications
Apr 27, 1987
Equational Logic as a Programming Language
May 30, 1985