|
Link to the Homepage: Semantics
| |
Abadi, Martin and Cardelli, Luca A Theory of Objects Springer 1996 | |
Abramsky, Samson; Gabbay, Dov M. and Maibaum, T.S.E Handbook of Logic in Computer Science Oxford University Press 1995 | |
Apt, Krzysztof R. and Olderog, Ernst-Rüdiger Verification of Sequential and Concurrent Programs Springer 2009 | |
Baader, Franz and Nipkow, Tobias Term Rewriting and All That Cambridge University Press 1998 | |
Barendregt, Hendrik P.; Dekkers, Wil and Statman, Rick Lambda calculus with types Cambridge Univ. Press 2011 | |
Barr, M. and Wells, C. Category Theory for Computing Science Prentice-Hall 1990 | |
Bertot, Yves and Casteran, Pierre Interactive theorem proving and program development Springer 2004 | |
Castagna, Guiseppe Object-Oriented Programming Birkhäuser 1997 | |
Chandy, K. Mai and Misra, Jayadev Parallel Program Design Addison-Wesley 1988 | |
Crossley, John Newsome What is Mathematical Logic? Oxford University Press 1990 | |
Girard, J.-Y.; Taylor, P. and Lafont, Y. Proofs and Types Cambridge University Press 1993 | |
Gries, David B. The Science of Programming Springer 1981 | |
Gunter, Carl A. Semantics of Programming Languages - Structures and Techniques The MIT Press 1992 | |
Gunter, Carl A. and Mitchell, John C. Theoretical Aspects of Object-Oriented Programming The MIT Press 1994 | |
![]() |
Halmos, P.R. Naive Set Theory Litton Ed. Publ. Inc. 1974 |
Hankin, Chris Lambda Calculi Clarendon Press 1994 | |
Harper, Robert Practical foundations for programming languages Cambridge Univ. Press 2013 | |
Hermes, Hans Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Einführung in die Theorie der rekursiven Funktionen Springer 1971 | |
Hindley, James Roger Basic Simple Type Theory Cambridge University Press 1997 | |
Hindley, James Roger and Seldin, Jonathan Lambda calculus and combinators - An introduction London Mathematical Society 2008 | |
Hoare, C.A.R. Developments in Concurrency and Communication Addison-Wesley 1990 | |
Huet, G. Logical Foundations of Functional Programming Addison-Wesley 1990 | |
Jones, Neil D. Computability and Complexity from a Programming Perspective The MIT Press 1997 | |
Leeuwen, Jan van Formal Models and Semantics The MIT Press 1990 | |
![]() |
Loeckx, J. and Sieber, K. The Foundations of Program Verification Wiley 1987 |
Milner, Robin A Calculus of Communicating Systems Springer 1980 | |
Milner, Robin; Tofte, Mads; Harper, Robert and MacQueen, David The Definition of Standard ML The MIT Press 1997 | |
Milner, Robin Communication and concurrency Prentice-Hall 2006 | |
Mitchell, John C. Foundations for Programming Languages MIT Press 1996 | |
Nielson, Flemming; Nielson, Hanne Riis and Hankin, Chris Principles of Program Analysis Springer 1999 | |
Nielson, Hanne Riis and Nielson, Flemming Semantics with applications Springer 2007 | |
![]() |
Milner, Robin and Tofte, Mads Commentary on Standard ML The MIT Press 1991 |
Pierce, Benjamin C. Basic Category Theory for Computer Scientists MIT Press 1993 | |
Pierce, Benjamin C. Types and Programming Languages MIT Press 2002 | |
Pierce, Benjamin C. Advanced Topics in Types and Programming Languages MIT Press 2005 | |
Schmidt, David A. The Structure of Typed Programming Languages The MIT Press 1994 | |
![]() |
Seldin, Jonathan P. and Hindley, Roger To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism Academic Press 1980 |
Sørensen, Morten Heine and Urzyczyn, Pawel Lectures on the curry-howard isomorphism Elsevier 2006 | |
![]() |
Tennent, R.D. Semantics of Programming Languages Prentice-Hall 1991 |
Winskel, Glynn The Formal Semantics of Programming Languages The MIT Press 1997 |