Thierry Coquand – författare

Visar alla böcker från författaren Thierry Coquand.

1 produkter

1. 

   Types for Proofs and Programs

   International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers

   Av Thierry Coquand, Peter Dybjer m. fl.

   Häftad, 2000

   739 kr

   Lägg i varukorg