Pocketbok

I lager hos iMusic

Visa slutsålda utgivelser

Releases med Thierry Coquand

Cover for Thierry Coquand · Types for Proofs and Programs: International Workshop, Types'99, Lokeberg, Sweden, June 12-16, 1999, Selected Papers - Lecture Notes in Computer Science (Pocketbok) (2000)
Pocketbok
Types for Proofs and Programs: I...
Thierry Coquand