Advances in Linear Logic 1
bokomslag Advances in Linear Logic
Vetenskap & teknik

Advances in Linear Logic

Jean-Yves Girard • Jean-Yves Girard • Yves Lafont • Laurent Regnier • Yves Lafont

Pocket

1239:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 5-10 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 400 sidor
  • 1995
This volume gives an overview of linear logic that will be useful to mathematicians and computer scientists working in this area.
  • Författare: Jean-Yves Girard, Jean-Yves Girard, Yves Lafont, Laurent Regnier, Yves Lafont
  • Format: Pocket/Paperback
  • ISBN: 9780521559614
  • Språk: Engelska
  • Antal sidor: 400
  • Utgivningsdatum: 1995-06-22
  • Förlag: Cambridge University Press

Du kanske gillar

  1. bokomslag Habermas Handbook

    Habermas Handbook

    Hauke Brunkhorst, Regina Kreide, Cristina Lafont, Hauke Brunkhorst

    Inbunden

    899:-
  2. bokomslag Interweaving Myths in Shakespeare and His Contemporaries

    Interweaving Myths in Shakespeare and...

    Janice Valls-Russell, Agnes Lafont, Charlotte Coffin, Agnès Lafont, AgnèsCoffin Lafont Charlotte

    Inbunden

    1889:-
  3. bokomslag Family Violence and Social Change in the Pacific Islands

    Family Violence and Social Change in ...

    Lois Bastide, Denis Regnier, Lois Bastide, Denis Regnier

    Pocket

    859:-
  4. bokomslag Geometry, Topology, and Dynamics in Negative Curvature

    Geometry, Topology, and Dynamics in N...

    C S Aravinda, F T Farrell, J-F Lafont, F T Farrell, J-F Lafont

    Pocket

    1269:-
  5. bokomslag Pratique de la perfection chrétienne; Volume 1

    Pratique de la perfection chrétienne;...

    , Rodríguez Alfonso, Alfonso , Rodríguez, Alfonso Rodríguez, Abbé Regnier-Desmarais

    Pocket

    449:-
  6. bokomslag Interweaving Myths in Shakespeare and His Contemporaries

    Interweaving Myths in Shakespeare and...

    Janice Valls-Russell, Agnès Lafont, Charlotte Coffin, Agnes Lafont, Agnès Lafont

    Pocket

    629:-
  7. bokomslag Fille Mal Gardée Ou Le Pédant Amoureux, Parodie de la Provençale

    Fille Mal Gardée Ou Le Pédant Amoureu...

    Joseph De La Font, Justine Favart, Charles-Simon Favart, Egidio Duni, La Font-J

    Pocket

    239:-
  8. bokomslag Immortal Element

    Immortal Element

    Jean-Yves Girard Jean-Yves Girard

    Pocket

    329:-
  9. bokomslag L'homme Criminel, Étude Anthropologique Et Médico-Légale

    L'homme Criminel, Étude Anthropologiq...

    Cesare Lombroso, G Regnier, Albert Bornet, G Regnier

    Klotband

    709:-
  10. bokomslag Pratique de la perfection chrétienne; Volume 3

    Pratique de la perfection chrétienne;...

    , Rodríguez Alfonso, Alfonso , Rodríguez, Alfonso Rodríguez, Abbé Regnier-Desmarais

    Klotband

    619:-

Andra av samma författare

  1. bokomslag Linear Logic in Computer Science

    Linear Logic in Computer Science

    Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, Philip Scott, Thomas Ehrhard

    Pocket

    1589:-
  2. bokomslag Immortal Element

    Immortal Element

    Jean-Yves Girard Jean-Yves Girard

    Pocket

    329:-
  3. bokomslag Typed Lambda Calculi and Applications

    Typed Lambda Calculi and Applications

    Jean-Yves Girard

    Pocket

    719:-