Skip to content

SAS

Seminar

Syntax and Semantics - another look, especially for dependent type theories

Aczel, P (University of Manchester)
Thursday 10 May 2012, 16:30-17:00

Seminar Room 1, Newton Institute

Presentation

[pdf ]

Video

The video for this talk should appear here if JavaScript is enabled.
If it doesn't, something may have gone wrong with our embedded player.
We'll get it fixed as soon as possible.

Back to top ∧