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

Semantics and Logics of Computation

Andrew M Pitts • P Dybjer • Andrew M Pitts • P Dybjer • Peter Dybjer

Pocket

809:-

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
This book presents developments in semantics and logics of computation in a way that is accessible to graduate students. The book is based on a summer school at the Isaac Newton Institute and consists of a sequence of linked lecture courses by international authorities in the area. They have been edited to form a coherent introduction to these topics.
  • Författare: Andrew M Pitts, P Dybjer, Andrew M Pitts, P Dybjer, Peter Dybjer
  • Format: Pocket/Paperback
  • ISBN: 9780521118460
  • Språk: Engelska
  • Antal sidor: 376
  • Utgivningsdatum: 2009-08-20
  • Förlag: Cambridge University Press

Du kanske gillar

  1. bokomslag Semantics and Logics of Computation

    Semantics and Logics of Computation

    Andrew M Pitts, P Dybjer, A Pitts, P Dybjer, Andrew M Pitts

    Inbunden

    2699:-
  2. bokomslag Ecology of Infectious Diseases in Natural Populations

    Ecology of Infectious Diseases in Nat...

    B T Grenfell, A P Dobson, B T Grenfell, A P Dobson

    Pocket

    1179:-
  3. bokomslag Types for Proofs and Programs

    Types for Proofs and Programs

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

    Pocket

    729:-
  4. bokomslag Models for Infectious Human Diseases

    Models for Infectious Human Diseases

    Valerie Isham, Isham, Valerie Isham, Graham Medley, V Isham

    Inbunden

    3329:-
  5. bokomslag Nominal Sets

    Nominal Sets

    Andrew M Pitts, Andrew M Pitts, Andrew M Pitts

    Inbunden

    1049:-
  6. bokomslag On-Line Learning in Neural Networks

    On-Line Learning in Neural Networks

    David Saad David Saad

    Inbunden

    3019:-
  7. bokomslag Models for Infectious Human Diseases

    Models for Infectious Human Diseases

    Valerie Isham, Graham Medley, Valerie Isham, Graham Medley, Isham Valerie

    Pocket

    1369:-
  8. bokomslag Lectures on Solar and Planetary Dynamos

    Lectures on Solar and Planetary Dynamos

    M R E Proctor, A D Gilbert, M R E Proctor, A D Gilbert

    Pocket

    839:-
  9. bokomslag Idempotency

    Idempotency

    Jeremy Gunawardena

    Pocket

    1019:-
  10. bokomslag Numerical Methods in Finance

    Numerical Methods in Finance

    L C G Rogers, D Talay, L C G Rogers, D Talay

    Pocket

    889:-

Andra av samma författare

  1. bokomslag Higher Order Operational Techniques in Semantics

    Higher Order Operational Techniques i...

    Andrew D Gordon, Andrew M Pitts, Andrew D Gordon, Andrew M Pitts

    Inbunden

    1949:-
  2. bokomslag Nominal Sets

    Nominal Sets

    Andrew M Pitts, Andrew M Pitts, Andrew M Pitts

    Inbunden

    1049:-
  3. bokomslag Types for Proofs and Programs

    Types for Proofs and Programs

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

    Pocket

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

    679:-
  6. bokomslag Types for Proofs and Programs

    Types for Proofs and Programs

    Peter Dybjer, Bengt Nordström, Jan Smith

    Pocket

    729:-
  7. bokomslag Epistemology versus Ontology

    Epistemology versus Ontology

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

    Inbunden

    2849:-
  8. bokomslag Epistemology versus Ontology

    Epistemology versus Ontology

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

    2849:-