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 PDF icon slides_PSPL10.pdf