A type system with modalities for safe distributed computing

Speaker(s) Guiseppe Primiero
Date 5 April 2011
Place New York, USA
Occasion Computational Logic Seminar
Category Invited