ID:DA06688704
Pitts, Andrew
Search authors sharing the same name
Andrew M. Pitts
Cambridge University Press 2013 Cambridge tracts in theoretical computer science 57
: hardback
Available at 10 libraries
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
Available at 6 libraries
edited by Andrew M. Pitts, Peter Dybjer
Cambridge University Press 2009 Publications of the Newton Institute 14
pbk
Available at 5 libraries
edited by Andrew D. Gordon and Andrew M. Pitts
Cambridge University Press c1998 Publications of the Newton Institute 12
Available at 27 libraries
Cambridge University Press 1997 Publications of the Newton Institute 14
Available at 32 libraries
edited by M.P. Fourman, P.T. Johnstone, A.M. Pitts
Cambridge University Press 1992 London Mathematical Society lecture note series 177
Available at 68 libraries
