ID:DA06688704
Pitts, Andrew
同姓同名の著者を検索
Andrew M. Pitts
Cambridge University Press 2013 Cambridge tracts in theoretical computer science 57
: hardback
所蔵館11館
Artur Czumaj ... [et al.], (eds.)
Springer c2012 Lecture notes in computer science 7391-7392 . Advanced research in computing and software science
pt. 1 , pt. 2
所蔵館6館
edited by Andrew M. Pitts, Peter Dybjer
Cambridge University Press 2009 Publications of the Newton Institute 14
pbk
所蔵館5館
edited by Andrew D. Gordon and Andrew M. Pitts
Cambridge University Press c1998 Publications of the Newton Institute 12
所蔵館27館
Cambridge University Press 1997 Publications of the Newton Institute 14
所蔵館32館
edited by M.P. Fourman, P.T. Johnstone, A.M. Pitts
Cambridge University Press 1992 London Mathematical Society lecture note series 177
所蔵館68館
