Literature for Semantics


Link to the Homepage: Semantics


no image available Abadi, Martin and Cardelli, Luca
A Theory of Objects
Springer 1996
no image available Abramsky, Samson; Gabbay, Dov M. and Maibaum, T.S.E
Handbook of Logic in Computer Science
Oxford University Press 1995
  • print: ABR s 1995:1 1.Ex
no image available Apt, Krzysztof R. and Olderog, Ernst-Rüdiger
Verification of Sequential and Concurrent Programs
Springer 2009
no image available Baader, Franz and Nipkow, Tobias
Term Rewriting and All That
Cambridge University Press 1998
  • print: BAA f 1999:1 1.Ex
no image available Barendregt, Hendrik P.; Dekkers, Wil and Statman, Rick
Lambda calculus with types
Cambridge Univ. Press 2011
  • print: BAR h 2011:1 1.Ex
no image available Barr, M. and Wells, C.
Category Theory for Computing Science
Prentice-Hall 1990
  • print: BAR m 1990:1 1.Ex
no image available Bertot, Yves and Casteran, Pierre
Interactive theorem proving and program development
Springer 2004
no image available Castagna, Guiseppe
Object-Oriented Programming
Birkhaeuser 1997
no image available Chandy, K. Mai and Misra, Jayadev
Parallel Program Design
Addison-Wesley 1988
  • print: ChAN k 1988:1 1.Ex
no image available Crossley, John Newsome
What is Mathematical Logic?
Oxford University Press 1990
  • print: CRO j2 1990:1 1.Ex
no image available Girard, J.-Y.; Taylor, P. and Lafont, Y.
Proofs and Types
Cambridge University Press 1993
  • print: GIR j 1993:1 1.Ex
no image available Gries, David B.
The Science of Programming
Springer 1981
no image available Gunter, Carl A.
Semantics of Programming Languages -
Structures and Techniques

The MIT Press 1992
  • print: GUN c 1992:1 1.Ex
no image available Gunter, Carl A. and Mitchell, John C.
Theoretical Aspects of Object-Oriented Programming
The MIT Press 1994
  • print: GUN c 1994:1 1.Ex
no image available Halmos, P.R.
Naive Set Theory
Litton Ed. Publ. Inc. 1974
no image available Hankin, Chris
Lambda Calculi
Clarendon Press 1994
  • print: HAN ch2 1994:1 1.Ex
no image available Harper, Robert
Practical foundations for programming languages
Cambridge Univ. Press 2013
no image available Hermes, Hans
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.
Einführung in die Theorie der rekursiven Funktionen

Springer 1971
no image available Hindley, James Roger
Basic Simple Type Theory
Cambridge University Press 1997
  • print: HIN j 1997:1 1.Ex
no image available Hindley, James Roger and Seldin, Jonathan
Lambda calculus and combinators -
An introduction

London Mathematical Society 2008
  • print: HIN j 2008:1 1.Ex
no image available Hoare, C.A.R.
Developments in Concurrency and Communication
Addison-Wesley 1990
  • print: HOA ch 1990:1 1.Ex
no image available Huet, G.
Logical Foundations of Functional Programming
Addison-Wesley 1990
  • print: HUE g 1990:1 1.Ex
no image available Jones, Neil D.
Computability and Complexity from a Programming Perspective
The MIT Press 1997
  • print: JON n 1997:1 1.Ex
no image available Leeuwen, Jan van
Formal Models and Semantics
The MIT Press 1990
  • print: LEE j2 1990:2 1.Ex
no image available Loeckx, J. and Sieber, K.
The Foundations of Program Verification
Wiley 1987
no image available Milner, Robin
A Calculus of Communicating Systems
Springer 1980
no image available Milner, Robin; Tofte, Mads; Harper, Robert and MacQueen, David
The Definition of Standard ML
The MIT Press 1997
  • print: MIL r 1997:1 1.Ex
no image available Milner, Robin
Communication and concurrency
Prentice-Hall 2006
  • print: MIL r 2006:1 1.Ex
no image available Mitchell, John C.
Foundations for Programming Languages
MIT Press 1996
  • print: MIT j 1996:1 1.Ex
no image available Nielson, Flemming; Nielson, Hanne Riis and Hankin, Chris
Principles of Program Analysis
Springer 1999
no image available Nielson, Hanne Riis and Nielson, Flemming
Semantics with applications
Springer 2007
no image available Milner, Robin and Tofte, Mads
Commentary on Standard ML
The MIT Press 1991
  • print: P ML 1991:1 1.Ex
no image available Pierce, Benjamin C.
Basic Category Theory for Computer Scientists
MIT Press 1993
  • print: PIE b 1993:1 1.Ex
no image available Pierce, Benjamin C.
Types and Programming Languages
MIT Press 2002
  • print: PIE b 2002:1 1.Ex
no image available Pierce, Benjamin C.
Advanced Topics in Types and Programming Languages
MIT Press 2005
  • print: PIE b 2005:1 1.Ex
no image available Schmidt, David A.
The Structure of Typed Programming Languages
The MIT Press 1994
  • print: SchMI d2 1994:1 1.Ex
no image available Seldin, Jonathan P. and Hindley, Roger
To H.B. Curry:
Essays on Combinatory Logic, Lambda Calculus and Formalism

Academic Press 1980
  • print: SEL j 1980:1 1.Ex
no image available Sørensen, Morten Heine and Urzyczyn, Pawel
Lectures on the curry-howard isomorphism
Elsevier 2006
  • print: SOR m 2006:1 1.Ex
no image available Tennent, R.D.
Semantics of Programming Languages
Prentice-Hall 1991
  • print: TEN r 1991:1 1.Ex
no image available Winskel, Glynn
The Formal Semantics of Programming Languages
The MIT Press 1997
  • print: WIN g2 1997:1 1.Ex