Jean-Yves Girard - Böcker
Visar alla böcker från författaren Jean-Yves Girard.
3 produkter
3 produkter
Advances in Linear Logic
Av Jean-Yves Girard, Paris) Girard, Jean-Yves (Centre National de la Recherche Scientifique (CNRS), Paris) Lafont, Yves (Centre National de la Recherche Scientifique (CNRS), Paris) Regnier, Laurent (Centre National de la Recherche Scientifique (CNRS), Yves LaFont, Yves Lafont, Jean-Yves Girard
Häftad, Engelska, 1995
1 229 kr
Skickas inom 7-10 vardagar
Linear Logic in Computer Science
Av Marseille) Ehrhard, Thomas (Institut de Mathematiques de Luminy, Marseille) Girard, Jean-Yves (Institut de Mathematiques de Luminy, Marseille) Ruet, Paul (Institut de Mathematiques de Luminy, Philip (University of Ottawa) Scott, Thomas Ehrhard, Jean-Yves Girard, Paul Ruet
Häftad, Engelska, 2004
1 559 kr
Skickas inom 7-10 vardagar
Del 1581 - Lecture Notes in Computer Science
Typed Lambda Calculi and Applications
Häftad, Engelska, 1999
709 kr
Skickas inom 7-10 vardagar