A multi-modal dependent type theory for representing data accessibility in a network
| Speaker(s) | Guiseppe Primiero |
|---|---|
| Date | 10 July 2010 |
| Place | Edinburgh, UK |
| Occasion | Proof Systems for Program Logics, Workshop at Federated Logic Conference 2010 |
| Category | Contributed |
| Slides |
 slides_PSPL10.pdf |