Hoppa till sidans huvudinnehåll

Jean-Yves Girard – författare

Visar alla böcker från författaren .
3 produkter
Jean-Yves Girard, Jean-Yves Girard, Yves Lafont, Laurent Regnier - Advances in Linear Logic, Häftad
Del 222 - London Mathematical Society Lecture Note Series

Advances in Linear Logic

AvJean-Yves Girard,Jean-Yves Girardm. fl.

Häftad, Engelska, 1995

1 319 kr

Skickas inom 7-10 vardagar

Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, Philip Scott - Linear Logic in Computer Science, Häftad
Del 316 - London Mathematical Society Lecture Note Series

Linear Logic in Computer Science

AvThomas Ehrhard,Jean-Yves Girardm. fl.

Häftad, Engelska, 2004

1 669 kr

Skickas inom 7-10 vardagar

Jean-Yves Girard - Typed Lambda Calculi and Applications, Häftad

Typed Lambda Calculi and Applications

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

AvJean-Yves Girard

Häftad, Engelska, 1999

709 kr

Skickas inom 10-15 vardagar