A judgemental modal type theory for data accessibility
| Speaker(s) | Guiseppe Primiero |
|---|---|
| Date | 3 February 2011 |
| Place | Bologna, Italy |
| Occasion | International Meeting of AILA (Associazione Italiana di Logica e sue Applicazioni) |
| Category | Contributed |
| Slides |
 primiero_slides_AILA11.pdf |