Types for Proofs and Programs
International Workshop, TYPES''99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
E-bok
PDF, Engelska, 2003718 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Types for Proofs and Programs
Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith
Häftad, 2000
573 kr
Category Theory and Computer Science
David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew Pitts, Axel Poigne
Häftad, 1989
539 kr