Reihe Progress in Theoretical Computer Science

Categorical Combinators, Sequential Algorithms, and Functional Programming

Algorithms for Random Generation and Counting: A Markov Chain Approach

The Graph Isomorphism Problem

Semantics of Type Theory

Logic of Domains

Neural Networks and Analog Computation

Solving Higher-Order Equations

Isomorphisms of Types

Object-Oriented Programming A Unified Foundation

Comparative Metric Semantics of Programming Languages