Child pages
  • 8th Wessex Theory Seminar

Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: Migrated to Confluence 4.0

...

14.00 Martin Hyland: Varieties of Algebraic Theories

14.45 Giuseppe Rosolini: Remarks on Realizability (slides)

15.30 Coffee Break

16.00 Pawel Sobocinski: Representing Petri-Net Interactions (slides)

16.45 Guy McCusker: Graph-style models of programming languages

17.30 Close.

Abstracts

Anchor
pino
pino

...