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

Your browser can’t play this video. You do not appear to have a flash player installed.
Please download flash player or choose an alternative format instead.

Get Adobe Flash player
Available Video Formats

Comments

Start the discussion!

Back to top ∧