1st Category Theory and Computer Science 1985: Guildford, UK

Tutorials

Research Contributions

Semantics

Specification

Categorical Logic

Categorical Programming

a service of Schloss Dagstuhl - Leibniz Center for Informatics