Procedural Semantics for a Modal Type System
| Speaker(s) | Guiseppe Primiero |
|---|---|
| Date | 21 July 2011 |
| Place | Nancy, France |
| Occasion | 14th Congress of Logic, Methodology and Philosophy of Science |
| Category | Contributed |
| Slides |
 primiero_slides_CLMPS11.pdf |