Formalizing Correctness and Interaction by Modal Types
| Speaker(s) | Guiseppe Primiero |
|---|---|
| Date | 4 October 2010 |
| Place | Munich, Germany |
| Occasion | European Conference on Computing and Philosophy 2010 |
| Category | Contributed |
| Slides |
 slides_ecap10.pdf |
| Speaker(s) | Guiseppe Primiero |
|---|---|
| Date | 4 October 2010 |
| Place | Munich, Germany |
| Occasion | European Conference on Computing and Philosophy 2010 |
| Category | Contributed |
| Slides |
slides_ecap10.pdf |