Semantics and Logics of Computation 1
bokomslag Semantics and Logics of Computation
Data & IT

Semantics and Logics of Computation

Andrew M Pitts • P Dybjer • Peter Dybjer

Pocket

699:-

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:-

  • 376 sidor
  • 2009
  • Författare: Andrew M Pitts, P Dybjer, Peter Dybjer
  • Format: Pocket/Paperback
  • ISBN: 9780521118460
  • Språk: Engelska
  • Antal sidor: 376
  • Utgivningsdatum: 2009-05-11
  • Förlag: Cambridge University Press

Du kanske gillar

  1. bokomslag Category Theory and Computer Science

    Category Theory and Computer Science

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

    Pocket

    699:-
  2. bokomslag Semantics and Logics of Computation

    Semantics and Logics of Computation

    A Pitts, P Dybjer, Andrew M Pitts

    Inbunden

    2009:-
  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 Nominal Sets

    Nominal Sets

    Andrew M Pitts

    Inbunden

    1089:-
  6. bokomslag Reciprocal Trade; a Demonstration of the Possibilities in the Philippines of Trade for the United States Under a Reciprocal Tariff

    Reciprocal Trade; a Demonstration of ...

    Harold M Pitt

    Pocket

    239:-
  7. bokomslag Indie-Trigger Short Stories: An Anthology

    Indie-Trigger Short Stories: An Antho...

    Tom Pitts, Jerry Levy, Dan Nielsen

    Häftad

    219:-
  8. bokomslag Money 101: 14 Things Every Teen Should Know About Money

    Money 101: 14 Things Every Teen Shoul...

    Pam Pitts

    Häftad

    279:-
  9. bokomslag Plan for the Improvement of the Internal Police of Prisons.

    Plan for the Improvement of the Inter...

    W M Pitt

    Pocket

    269:-
  10. bokomslag What Makes God Laugh?

    What Makes God Laugh?

    Daphne M Pitts

    Pocket

    279:-

Andra av samma författare

  1. bokomslag Higher Order Operational Techniques in Semantics

    Higher Order Operational Techniques i...

    Andrew M Pitts Andrew D Gordon

    Inbunden

    1729:-
  2. bokomslag Nominal Sets

    Nominal Sets

    Andrew M Pitts

    Inbunden

    1089:-
  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 Category Theory and Computer Science

    Category Theory and Computer Science

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

    Pocket

    699:-
  6. bokomslag Types for Proofs and Programs

    Types for Proofs and Programs

    Peter Dybjer, Bengt Nordström, Jan Smith

    Pocket

    749:-
  7. bokomslag Epistemology versus Ontology

    Epistemology versus Ontology

    P Dybjer, Sten Lindström, Erik Palmgren, B G Sundholm

    Inbunden

    2829:-
  8. bokomslag Epistemology versus Ontology

    Epistemology versus Ontology

    P Dybjer, Sten Lindström, Erik Palmgren, B G Sundholm

    2829:-