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

Refine list

showing all ?? records

Tutorials

Research Contributions

Semantics

Specification

Categorical Logic

Categorical Programming

a service of  Schloss Dagstuhl - Leibniz Center for Informatics