Nominal Sets 1
bokomslag Nominal Sets
Data & IT

Nominal Sets

Andrew M Pitts • Andrew M Pitts • Andrew M Pitts

Inbunden

1039:-

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

  • 287 sidor
  • 2013
Nominal Sets gives a detailed account of this new approach to the syntax and semantics of programming languages based on symmetries of names. Covering theory and applications, the book will be welcomed by researchers and graduate students in theoretical computer science.
  • Författare: Andrew M Pitts, Andrew M Pitts, Andrew M Pitts
  • Format: Inbunden
  • ISBN: 9781107017788
  • Språk: Engelska
  • Antal sidor: 287
  • Utgivningsdatum: 2013-05-30
  • 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, Andrew M Pitts, P Dybjer, Peter Dybjer

    Pocket

    699:-
  2. bokomslag Introduction to IP and ATM Design and Performance

    Introduction to IP and ATM Design and...

    J M Pitts, J A Schormans, J M Pitts, J A Schormans, J A Schormans

    Inbunden

    2009:-
  3. bokomslag Semantics and Logics of Computation

    Semantics and Logics of Computation

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

    Inbunden

    1999:-
  4. bokomslag Applications of Categories in Computer Science

    Applications of Categories in Compute...

    M P Fourman, P T Johnstone, A M Pitts, M P Fourman, P T Johnstone

    Pocket

    1239:-
  5. bokomslag Walking in Favor

    Walking in Favor

    Bernice M Pitts, Linda M Cooks, Bernice M Pitts, Linda M Cooks

    Klotband

    409:-
  6. 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

    1719:-
  7. 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 Harold M Pitt

    Pocket

    239:-
  8. Ny
    bokomslag Död mans kvinna

    Död mans kvinna

    Katarina Wennstam

    Pocket

    125:-
  9. Ny
    bokomslag Konstiga Sally Diamond

    Konstiga Sally Diamond

    Liz Nugent

    Pocket

    79:- (125:-)
  10. bokomslag Ett fall på Capri

    Ett fall på Capri

    Anders de la Motte • Anette de la Motte

    Pocket

    125:-

Andra av samma författare

  1. bokomslag Semantics and Logics of Computation

    Semantics and Logics of Computation

    Andrew M Pitts, P Dybjer, Andrew M Pitts, P Dybjer, Peter Dybjer

    Pocket

    699:-
  2. bokomslag Semantics and Logics of Computation

    Semantics and Logics of Computation

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

    Inbunden

    1999:-
  3. 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

    1719:-