Jean-Yves Girard – författare

Visar alla böcker från författaren Jean-Yves Girard.

3 produkter

1. 

   Advances in Linear Logic

   Av Jean-Yves Girard, Jean-Yves Girard m. fl.

   Häftad, 1995

   1559 kr

   Lägg i varukorg

2. 

   Linear Logic in Computer Science

   Av Thomas Ehrhard, Jean-Yves Girard m. fl.

   Häftad, 2004

   1909 kr

   Lägg i varukorg

3. 

   Typed Lambda Calculi and Applications

   4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings

   Av Jean-Yves Girard

   Häftad, 1999

   709 kr

   Lägg i varukorg