
Types for Proofs and Programs
Peter Dybjer, Bengt Nordström, Jan Smith
₹5,483

Manchester, Uk, September 5-8, 1989. Proceedings: 389
by Peter Dybjer, Andrew M. Pitts, David H. Pitt, Axel Poigne, David E. Rydeheard
Springer Verlag · 1989 · Paperback
Free delivery. Nothing extra to pay at checkout.
Category Theory and Computer Science: Manchester, Uk, September 5-8, 1989. Proceedings: 389 is written by Peter Dybjer, Andrew M. Pitts & others. This paperback edition from Springer Verlag (1989) has 372 pages.
Its main subjects are Théorie catégorie, Catégorie, Théorie type and Langage programmation.