Practical Reasoning with Proofs and Types
| Speaker(s) | Guiseppe Primiero |
|---|---|
| Date | 9 February 2012 |
| Place | Cambridge, UK |
| Occasion | Program `Semantics and Syntax: A Legacy of Alan Turing' |
| Category | Invited |
| Slides |
 practical.pdf |
| Speaker(s) | Guiseppe Primiero |
|---|---|
| Date | 9 February 2012 |
| Place | Cambridge, UK |
| Occasion | Program `Semantics and Syntax: A Legacy of Alan Turing' |
| Category | Invited |
| Slides |
practical.pdf |