3540432876
Types for Proofs and Programs: International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers eBooks & eLearning
Posted by insetes at Feb. 21, 2019
Types for Proofs and Programs: International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers By Peter Aczel, Nicola Gambino (auth.), Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack, Robert Pollack (eds.)
2002 | 248 Pages | ISBN: 3540432876 | PDF | 10 MB
2002 | 248 Pages | ISBN: 3540432876 | PDF | 10 MB