Buy Used and New Andrew M. Pitts Books

Higher Order Operational Techniques in Semantics: 12 (Publications of the Newton Institute, Series Number 12)

by Andrew M. Pitts Edited by Andrew D. Gordon

ISBN 13: 9780521631686

Format: Hardcover (400 pages)
Publisher: Cambridge University Press
Published: 22 Jan 1998

Save for later

Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings: 389 (Lecture Notes in Computer Science)

by Peter Dybjer,Andrew M. Pitts,Axel Poigne,David E. Rydeheard,David H. Pitt

ISBN 13: 9783540516620

Format: Paperback (380 pages)
Publisher: Springer
Published: 23 Aug 1989

Save for later