The Structure of Typed Programming Languages describes the fundamental syntactic andsemantic features of modern programming languages, carefully spelling out their impacts on languagedesign. Using cla
Category theory is a branch of pure mathematics that is becoming an increasingly important tool in theoretical computer science, especially in programming language semantics, domain theory, and concu
This collection of original essays reflects the breadth of current research in computer science. Robin Milner, a major figure in the field, has made many fundamental contributions, particularly in the
Brings together the most important contributions to the development of the theory of object-oriented programming to date, focusing in particular on how advances in type systems and semantic models can
A mathematically oriented introduction to the theory of logic programming that presents a systematic exposition of the resolution methods for propositional, first-order, and Horn-clause logics, togeth
The thirteen chapters written expressly for this book by logicians, theoretical computer scientists, philosophers, and semanticists address, from the perspective of mathematical logic, the problems of
Neural networks usually work adequately on small problems but can run into trouble when they are scaled up to problems involving large amounts of input data. Circuit Complexity and Neural Networks add
foreword by Martin Davis and Hilary Putnam In 1900, the German mathematician David Hilbert put forth a list of 23 unsolved problems that he saw as being the greatest challenges for twentieth-century m
Written for advanced undergraduate and beginning graduate students, Foundations for Programming Languages uses a series of typed lambda calculi to study the axiomatic, operational, and denotational se
This book probes the stable marriage problem and its variants as a rich source ofproblems and ideas that illustrate both the design and analysis of efficient algorithms. It coversthe most recent struc
The Formal Semantics of Programming Languages provides the basic mathematicaltechniques necessary for those who are beginning a study of the semantics and logics of programminglanguages. These techniq
