17th Workshop Types for Proofs and Programs, TYPES 2010

17th Workshop Types for Proofs and Programs, TYPES 2010
Termin: 
2010-10-13 - 2010-10-16
Miejsce: 
Warszawa
Strona www: 
http://types10.mimuw.edu.pl/