Andrew M. Pitts – författare
Visar alla böcker från författaren Andrew M. Pitts. Handla med fri frakt och snabb leverans.
4 produkter
Semantics and Logics of Computation
Häftad, 2009
771 kr
Lägg i varukorg
The aim of this volume is to present 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 …
Semantics and Logics of Computation
Inbunden, 1997
2214 kr
Lägg i varukorg
The aim of this volume is to present 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 …
Higher Order Operational Techniques in Semantics
Av Andrew D. Gordon, Andrew M. Pitts
Inbunden, 1998
1593 kr
Lägg i varukorg
Most object-oriented or functional languages are higher order languages, i.e. ones in which the means of manipulation (e.g. object or function) can itself be manipulated. This 1998 book contains a collection of original articles about recent developments in operational semantics for higher order …
Nominal Sets
Names and Symmetry in Computer Science
Inbunden, 2013
1022 kr
Lägg i varukorg
Nominal sets provide a promising new mathematical analysis of names in formal languages based upon symmetry, with many applications to the syntax and semantics of programming language constructs that involve binding, or localising names. Part I provides an introduction to the basic theory of …
