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 • Andrew D Gordon • Andrew M Pitts

Inbunden

1949:-

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

Uppskattad leveranstid 5-10 arbetsdagar

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

  • 400 sidor
  • 1998
A 1998 collection of original articles about developments in operational semantics for higher order programming languages by some of the leading researchers in the field. It surveys and introduces various techniques and treats a variety of higher order languages, based on functions, processes and objects, with and without side effects, typed and untyped.
  • Författare: Andrew D Gordon, Andrew M Pitts, Andrew D Gordon, Andrew M Pitts
  • Format: Inbunden
  • ISBN: 9780521631686
  • Språk: Engelska
  • Antal sidor: 400
  • Utgivningsdatum: 1998-01-22
  • Förlag: Cambridge University Press

Du kanske gillar

  1. 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:-
  2. bokomslag Models for Infectious Human Diseases

    Models for Infectious Human Diseases

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

    Inbunden

    3329:-
  3. bokomslag Nominal Sets

    Nominal Sets

    Andrew M Pitts, Andrew M Pitts, Andrew M Pitts

    Inbunden

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

    On-Line Learning in Neural Networks

    David Saad David Saad

    Inbunden

    3019:-
  5. bokomslag Models for Infectious Human Diseases

    Models for Infectious Human Diseases

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

    Pocket

    1369:-
  6. 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:-
  7. bokomslag Idempotency

    Idempotency

    Jeremy Gunawardena

    Pocket

    1019:-
  8. bokomslag Numerical Methods in Finance

    Numerical Methods in Finance

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

    Pocket

    889:-
  9. bokomslag Contact and Symplectic Geometry

    Contact and Symplectic Geometry

    C B Thomas Charles Benedict Thomas

    Inbunden

    2039:-
  10. bokomslag Duality and Supersymmetric Theories

    Duality and Supersymmetric Theories

    David I Olive, Peter C West, D Olive, P West, David I Olive

    Inbunden

    2609:-

Andra av samma författare

  1. bokomslag Functional Programming and Input/Output

    Functional Programming and Input/Output

    Andrew D Gordon

    Häftad

    699:-
  2. bokomslag Semantics and Logics of Computation

    Semantics and Logics of Computation

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

    Pocket

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

    2699:-
  4. bokomslag Nominal Sets

    Nominal Sets

    Andrew M Pitts, Andrew M Pitts, Andrew M Pitts

    Inbunden

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

    Foundations of Software Science and C...

    Andrew D Gordon

    Pocket

    749:-