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