Thierry Coquand – författare

Visar alla böcker från författaren Thierry Coquand. Handla med fri frakt och snabb leverans.

2 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

   568 kr

   Lägg i varukorg

   This book contains a selection of papers presented at the third annual workshop of the Esprit Working Group 21900 Types, which was held 12 - 16 June 1999 at Lokeberg in the rural area north of Goteborg and close to Marstrand. It was attended by 77 researchers. The two previous workshops of the …

2. 

   Types for Proofs and Programs

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

   Av Jan Smith, Bengt Nordstrom m. fl.

   E-bok, 2003

   734 kr

   Lägg i varukorg