Literature for Semantics

• Vorlesung Semantics
  
  


• Abadi, Martin and Cardelli, Luca
  A Theory of Objects (Monographs in Computer Science)
  Springer Verlag 1996
  ABA m 1996:1 1.Ex
  


• Abramsky, Samson and Gabbay, Dov M. and Maibaum, T.S.E (editors)
  Handbook of Logic in Computer Science
  Oxford University Press 1995
  ABR s 1995:1 1.Ex
  


• Apt, Krzysztof R. and Olderog, Ernst-Rüdiger
  Verification of Sequential and Concurrent Programs (Texts and Monographs in Computer Science)
  Springer-Verlag 1997
  APT k 1997:1 1.Ex
  


• Baader, Franz and Nipkow, Tobias
  Term Rewriting and All That
  Cambridge University Press 1998
  BAA f 1998:1 1.Ex
  


• Barendregt, Henk P.
  The Lambda Calculus. Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics)
  Elsevier Science Publishers B.V. 1985
  BAR h 1985:1 1.Ex
  


• Barr, M. and Wells, C.
  Category Theory for Computing Science
  Prentice-Hall 1990
  BAR m 1990:1 1.Ex
  


• Bertot, Yves and Casteran, Pierre
  Interactive theorem proving and program development
  Springer 2004
  BER y 2004:1 1.Ex
  


• Castagna, Guiseppe
  Object-Oriented Programming
  Birkhaeuser 1996
  CAS g 1997:1 1.Ex
  


• Chandy, K. Mai and Misra, Jayadev
  Parallel Program Design
  Addison-Wesley 1988
  ChAN k 1988:1 1.Ex
  


• Crossley, John Newsome
  What is Mathematical Logic?
  Oxford University Press 1990
  CRO j2 1990:1 1.Ex
  


• Girard, J.-Y. and Taylor, P. and Lafont, Y.
  Proofs and Types (Cambridge Tracts in Theoretical Computer Science Vol.7)
  Cambridge University Press 1993
  GIR j 1993:1 1.Ex
  


• Gries, David B.
  The Science of Programming (Texts and Monographs in Computer Science)
  Springer-Verlag 1981
  GRI d 1981:1 1.Ex
  


• Gunter, Carl A.
  Semantics of Programming Languages - Structures and Techniques (Foundations of Computing)
  The MIT Press 1992
  GUN c 1992:1 1.Ex
  


• Gunter, Carl A. and Mitchell, John C.
  Theoretical Aspects of Object-Oriented Programming (Foundations of Computing)
  The MIT Press 1994
  GUN c 1994:1 1.Ex
  


• Halmos, P.R.
  Naive Set Theory
  Litton Ed. Publ. Inc. 1960
  HAL p 1960:1 1.Ex
  


• Hankin, Chris
  Lambda Calculi
  Clarendon Press 1994
  HAN ch2 1994:1 1.Ex
  


• Hermes, Hans
  Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Einführung in die Theorie der rekursiven Funktionen (Heidelberger Taschenbücher Nr. 87)
  Springer-Verlag 1971
  HER h 1971:1 1.Ex
  


• Hindley, James Roger and Seldin, Jonathan
  Lambda calculus and combinators - an introduction
  London Mathematical Society 2008
  HIN j 2008:1 1.Ex
  


• Hindley, James Roger
  Basic Simple Type Theory
  Cambridge University Press 1997
  HIN j 1997:1 1.Ex
  


• Hoare, C.A.R. (editor)
  Developments in Concurrency and Communication (UT Year of Programming Series)
  Addison-Wesley 1990
  HOA ch 1990:1 1.Ex
  


• Huet, G. (editor)
  Logical Foundations of Functional Programming (UT Year of Programming Series)
  Addison-Wesley 1990
  HUE g 1990:1 1.Ex
  


• Jones, Neil D.
  Computability and Complexity from a Programming Perspective (Foundations of Computing)
  The MIT Press 1997
  JON n 1997:1 1.Ex
  


• Leeuwen, Jan van (editor)
  Formal Models and Semantics (Handbook of Theoretical Computer Science)
  The MIT Press 1990
  LEE j2 1990:2 1.Ex
  


• Loeckx, J. and Sieber, K.
  The Foundations of Program Verification
  Wiley 1987
  LOE j 1987:1 1.Ex
  


• Milner, Robin
  A Calculus of Communicating Systems (Lecture Notes in Computer Science Vol. 92)
  Springer-Verlag 1980
  MIL r 1980:1 1.Ex
  


• Milner, Robin
  Communication and concurrency
  Prentice-Hall 2006
  MIL r 2006:1 1.Ex
  


• Milner, Robin and Tofte, Mads
  Commentary on Standard ML (Revised)
  The MIT Press 1991
  P ML 1991:1 1.Ex
  


• Milner, Robin and Tofte, Mads and Harper, Robert and MacQueen, David
  The Definition of Standard ML (Revised)
  The MIT Press 1997
  MIL r 1997:1 1.Ex
  


• Mitchell, John C.
  Foundations for Programming Languages
  MIT Press 1996
  MIT j 1996:1 1.Ex
  


• Nielson, Flemming and Nielson, Hanne Riis and Hankin, Chris
  Principles of Program Analysis
  Springer 1999
  NIE f 1999:1 1.Ex
  


• Nielson, Hanne Riis and Nielson, Flemming
  Semantics with applications
  Springer 2007
  NIE h3 2007:1 1.Ex
  


• Pierce, Benjamin C.
  Basic Category Theory for Computer Scientists
  MIT Press 1993
  PIE b 1993:1 1.Ex
  


• Pierce, Benjamin C.
  Types and Programming Languages
  MIT Press 2002
  PIE b 2002:1 1.Ex
  


• Pierce, Benjamin C.
  Advanced Topics in Types and Programming Languages
  MIT Press 2005
  PIE b 2005:1 1.Ex
  


• Schmidt, David A.
  The Structure of Typed Programming Languages
  The MIT Press 1994
  SchMI d2 1994:1 1.Ex
  


• Seldin, Jonathan P. and Hindley, Roger (editors)
  To H.B. Curry: Essays on Combinatory Logic, Lambda Calculs and Formalism
  Academic Press 1980
  SEL j 1980:1 1.Ex
  


• Tennent, R.D.
  Semantics of Programming Languages
  Prentice-Hall 1991
  TEN r 1991:1 1.Ex
  


• Winskel, Glynn
  The Formal Semantics of Programming Languages (Foundations of Computing)
  The MIT Press 1997
  WIN g2 1997:1 1.Ex