Domains and Lambda-Calculi 1
bokomslag Domains and Lambda-Calculi
Data & IT

Domains and Lambda-Calculi

Roberto M Amadio • Pierre-Louis Curien

Pocket

1169:-

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

Uppskattad leveranstid 7-12 arbetsdagar

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

Andra format:

  • 504 sidor
  • 2008
  • Författare: Roberto M Amadio, Pierre-Louis Curien
  • Format: Pocket/Paperback
  • ISBN: 9780521062923
  • Språk: Engelska
  • Antal sidor: 504
  • Utgivningsdatum: 2008-01-29
  • Förlag: Cambridge University Press

Du kanske gillar

  1. bokomslag Domains and Lambda-Calculi

    Domains and Lambda-Calculi

    Roberto M Amadio, Pierre-Louis Curien, Amadio Roberto M

    Inbunden

    2459:-
  2. bokomslag Category Theory and Computer Science

    Category Theory and Computer Science

    David H Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew Pitts, Axel Poigne

    Pocket

    719:-
  3. bokomslag Combinators and Functional Programming Languages

    Combinators and Functional Programmin...

    Guy Cousineau, Pierre-Louis Curien, Bernard Robinet

    Pocket

    449:-
  4. bokomslag Nonlinear Schrödinger Equation

    Nonlinear Schrödinger Equation

    Pierre-Louis Sulem Catherine Sulem

    Pocket

    2139:-
  5. bokomslag Nonlinear Schrödinger Equation

    Nonlinear Schrödinger Equation

    Pierre-Louis Sulem Catherine Sulem

    Inbunden

    2139:-
  6. bokomslag Typed Lambda Calculi and Applications

    Typed Lambda Calculi and Applications

    Martin Hofmann

    Pocket

    719:-
  7. bokomslag Typed Lambda Calculi and Applications

    Typed Lambda Calculi and Applications

    Jan F Groote Marc Bezem

    Pocket

    719:-
  8. bokomslag Typed Lambda Calculi and Applications

    Typed Lambda Calculi and Applications

    Simona Ronchi Della Rocca

    Pocket

    719:-
  9. bokomslag Typed Lambda Calculi and Applications

    Typed Lambda Calculi and Applications

    J Roger Hindley Philippe De Groote

    Pocket

    719:-
  10. bokomslag Typed Lambda Calculi and Applications

    Typed Lambda Calculi and Applications

    Pierre-Louis Curien

    Pocket

    719:-

Andra av samma författare

  1. bokomslag Combinators and Functional Programming Languages

    Combinators and Functional Programmin...

    Guy Cousineau, Pierre-Louis Curien, Bernard Robinet

    Pocket

    449:-
  2. bokomslag Category Theory and Computer Science

    Category Theory and Computer Science

    David H Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew Pitts, Axel Poigne

    Pocket

    719:-
  3. bokomslag Typed Lambda Calculi and Applications

    Typed Lambda Calculi and Applications

    Pierre-Louis Curien

    Pocket

    719:-