Higher Order Operational Techniques in Semantics 1
bokomslag Higher Order Operational Techniques in Semantics
Data & IT

Higher Order Operational Techniques in Semantics

Andrew D Gordon • Andrew M Pitts

Inbunden

1729:-

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

Denna produkt går inte att reservera, köp den gärna online!

  • 400 sidor
  • 2011
  • Författare: Andrew D Gordon, Andrew M Pitts
  • Format: Inbunden
  • ISBN: 9780521631686
  • Språk: Engelska
  • Antal sidor: 400
  • Utgivningsdatum: 2011-05-27
  • Förlag: Cambridge University Press

Du kanske gillar

Andra av samma författare

  1. bokomslag Functional Programming and Input/Output

    Functional Programming and Input/Output

    Andrew D Gordon

    Pocket

    529:-
  2. bokomslag Semantics and Logics of Computation

    Semantics and Logics of Computation

    Andrew M Pitts, P Dybjer, Peter Dybjer

    Pocket

    699:-
  3. bokomslag Semantics and Logics of Computation

    Semantics and Logics of Computation

    A Pitts, P Dybjer, Andrew M Pitts

    Inbunden

    2009:-
  4. bokomslag Nominal Sets

    Nominal Sets

    Andrew M Pitts

    Inbunden

    1089:-
  5. bokomslag Foundations of Software Science and Computational Structures

    Foundations of Software Science and C...

    Andrew D Gordon

    Pocket

    749:-