nLab Glynn Winskel

Selected writings

On syntax and semantics of programming languages:

On transition systems and other models for concurrency:

On transition systems, bisimulations and open morphisms:

On category theoretic generalizations of domain theory:

category: people

Last revised on May 4, 2023 at 05:15:13. See the history of this page for a list of all contributions to it.