Some of the handouts are available in portable
document format . This means that to read or print these documents,
you will need the Adobe Acrobat Reader. (click here for a free download from
the adobe site)
Weekly Schedule
Homework
Assigned on 09/07, Due on 09/20.
Assigned on 09/21, Due on 10/02.
Assigned on 10/12, Due on 10/23.
Assigned on 10/23, Due on 11/2.
List of Projects
- Linear Logic
- Thomas Ehrhard, On Kothe spaces and linear logic
- Jean-Yves Girard, Coherent Banach spaces: a continuous denotational semantics
- Game Semantics
- Andre Joyal, Free lattices, communication and money games.
- P. Baillot, V. Danos, T. Ehrhard and L. Regnier
Timeless games
- V. Danos and R. Harmer, Probabilistic games semantics
- M. Hyland and A. Schalk, Abstract games and linear logic
- S. Abramsky, K. Honda and G. McCusker, A fully abstract game semantics for general
references
- S. Abramsky and G. McCusker, Call-by-Value games
- P. Malacaria and C. Hankin, Non-deterministic games and program analysis
Go to: | MATH 670
| Description
| Course Information
| News
|