Category Theory and Computer Science 1
bokomslag Category Theory and Computer Science
Data & IT

Category Theory and Computer Science

David H Pitt • David E Rydeheard • Peter Dybjer • Andrew Pitts • Axel Poigne

Pocket

699:-

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

Uppskattad leveranstid 10-16 arbetsdagar

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

  • 372 sidor
  • 1989
  • Författare: David H Pitt, David E Rydeheard, Peter Dybjer, Andrew Pitts, Axel Poigne
  • Format: Pocket/Paperback
  • ISBN: 9783540516620
  • Språk: Engelska
  • Antal sidor: 372
  • Utgivningsdatum: 1989-08-23
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Du kanske gillar

  1. 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:-
  2. bokomslag Lonely Planet Colorado

    Lonely Planet Colorado

    Lonely Planet

    Pocket

    259:-
  3. bokomslag Lonely Planet Paris

    Lonely Planet Paris

    Lonely Planet

    Pocket

    249:-
  4. bokomslag Semantics and Logics of Computation

    Semantics and Logics of Computation

    Andrew M Pitts, P Dybjer, Peter Dybjer

    Pocket

    699:-
  5. bokomslag Category Theory and Computer Science

    Category Theory and Computer Science

    David Pitt, David E Rydeheard, Peter Johnstone

    Pocket

    749:-
  6. bokomslag Health Communication, Language, and Social Action across the Life Span

    Health Communication, Language, and S...

    Carla Fisher, Craig Fowler, Janice Krieger, Margaret Pitts, Amber Worthington

    Inbunden

    1599:-
  7. bokomslag Correspondence of the Rev. C. Wyvill With the Right Honourable William Pitt

    Correspondence of the Rev. C. Wyvill ...

    Christopher Wyvill, William Pitt, Christopher Wyvill, William Pitt

    Pocket

    259:-
  8. bokomslag Production and Diffusion of Public Choice Political Economy

    Production and Diffusion of Public Ch...

    Joseph C Pitt, Djavad Salehi-Isfahani, Douglas W Eckel, Joseph C Pitt, Douglas W Eckel

    Pocket

    919:-
  9. bokomslag Theories of the Flesh

    Theories of the Flesh

    Andrea J Pitts, Mariana Ortega, José Medina, Andrea J Pitts

    Pocket

    559:-
  10. bokomslag Compiler Generators

    Compiler Generators

    Mads Tofte

    Inbunden

    1469:-

Andra av samma författare

  1. bokomslag Semantics and Logics of Computation

    Semantics and Logics of Computation

    Andrew M Pitts, P Dybjer, Peter Dybjer

    Pocket

    699:-
  2. bokomslag Category Theory and Computer Programming

    Category Theory and Computer Programming

    David Pitt, Samson Abramsky, Axel Poigne, David Rydeheard

    Pocket

    749:-
  3. bokomslag Types for Proofs and Programs

    Types for Proofs and Programs

    Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith

    Pocket

    749:-
  4. bokomslag Applied Semantics

    Applied Semantics

    Gilles Barthe, Peter Dybjer, Luis Pinto, João Saraiva

    Pocket

    749:-
  5. bokomslag Types for Proofs and Programs

    Types for Proofs and Programs

    Peter Dybjer, Bengt Nordström, Jan Smith

    Pocket

    749:-
  6. bokomslag Automata, Languages, and Programming

    Automata, Languages, and Programming

    Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger Wattenhofer

    Pocket

    719:-
  7. bokomslag Automata, Languages, and Programming

    Automata, Languages, and Programming

    Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger Wattenhofer

    Pocket

    719:-
  8. bokomslag Foundations of Software Science and Computation Structures

    Foundations of Software Science and C...

    Andrew Pitts

    Pocket

    749:-