33 references, last updated Tue Feb 24 11:28:54 MET 1998

[Abadi and Cardelli, 1996]

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

[Abramsky et al., 1992]

Samson Abramsky, Dov M. Gabbay, and T. S. E. Maibaum, editors. Handbook of Logic in Computer Science. Oxford University Press, Oxford, England, 1992. Sig: ABR s 95:1 P-Ex.

[Apt and Olderog, 1997]

Krzysztof R. Apt and Ernst-Rüdiger Olderog. Verification of Sequential and Concurrent Programs. Texts and Monographs in Computer Science. Springer-Verlag, Berlin, Germany, 2. edition, 1997. Sig: APT k 97:1 1.Ex.

[Barendregt, 1984]

Henk P. Barendregt. The Lambda Calculus. Its Syntax and Semantics, volume 103 of Studies in Logic and the Foundations of Mathematics. Elsevier Science Publishers B.V. (North Holland), 1984. Sig: BAR h 84:1 1.Ex.

[Barr and Wells, 1990]

M. Barr and C. Wells. Category Theory for Computing Science. Prentice-Hall, Englewood Cliffs, N.J., 1990. Sig: BAR m 90:1.

[Castagna, 1996]

Guiseppe Castagna. Object-Oriented Programming. Birkhaeuser, 1996. Sig: CAS g 97:1 P-Ex.

[Chandy and Misra, 1988]

K.Mai Chandy and Jayadev Misra. Parallel Program Design. Addison-Wesley, Reading, MA, 1988. Sig: CHA k 88:1 1.Ex.

[Crossley, 1972]

J. N. Crossley. What is Mathematical Logic?. Oxford University Press, Oxford, England, 1972. Sig: CRO j2 72:1 1.Ex.

[Girard et al., 1989]

J.-Y. Girard, P. Taylor, and Y. Lafont. Proofs and Types, volume 7 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, England, Press Syndicate of the University of Cambridge, The Pitt Building, Trumpington Street, Cambridge CB2 1RP, GB, 1989. Sig: GIR j 89:1.

[Gries, 1981]

David B. Gries. The Science of Programming. Texts and Monographs in Computer Science. Springer-Verlag, Berlin, Germany, 1981. Sig: GRI d 81:1 1.P-Ex.

[Gunter and Mitchell, 1994]

Carl A. Gunter and John C. Mitchell. Theoretical Aspects of Object-Oriented Programming. Foundations of Computing. The MIT Press, Cambridge, MA, 1994. Sig: GUN c 94:1 1.Ex.

[Gunter, 1992]

Carl A. Gunter. Semantics of Programming Languages - Structures and Techniques. Foundations of Computing. The MIT Press, Cambridge, MA, 1992. Sig: GUN c 92:1 1.Ex.

[Halmos, 1960]

P. R. Halmos. Naïve Set Theory. Litton Ed. Publ. Inc., 1960. Sig: .

[Hankin, 1994]

C. Hankin. Lambda Calculi. Clarendon Press, 1994. Sig: SIG: HAN c 94:1 1.Ex.

[Hermes, 1971]

Hans Hermes. Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Einführung in die Theorie der rekursiven Funktionen.. Number 87 in Heidelberger Taschenbücher. Springer-Verlag, Berlin, Germany, 2^nd edition, 1971. Sig: HER h 71:1 3.Ex.

[Hindley and Seldin, 1986]

J.Roger Hindley and Jonathan P. Seldin. Introduction to Combinators and &lgr;-Calculus. Number 1 in Students Texts. London Mathematical Society, 1986. Sig: HIN r 86:1.

[Hoare, 1990]

C. A. R. Hoare, editor. Developments in Concurrency and Communication. UT Year of Programming Series. Addison-Wesley, Reading, MA, 1990. Sig: HOA c 90:1.

[Huet, 1990]

G. Huet, editor. Logical Foundations of Functional Programming. UT Year of Programming Series. Addison-Wesley, Reading, MA, 1990. Sig: HUE g 90:1 1.Ex.

[Jones, 1997]

Neil D. Jones. Computability and Complexity from a Programming Perspective. Foundations of Computing. The MIT Press. Cambridge, Massachusetts, London, 1997. Sig: JON n 97:1 1.Ex.

[Leeuwen, 1990]

Jan van Leeuwen, editor. Formal Models and Semantics. Handbook of Theoretical Computer Science. The MIT Press, Cambridge, MA, Cambridge, Massachusetts, 1990. Sig: LEE j2 90:2 P-Ex.

[Loeckx and Sieber, 1984]

J. Loeckx and K. Sieber. The Foundations of Program Verification. Wiley, Chichester, England, 1984. Sig: LOE j 84:1 1.P-Ex.

[Manna and Waldinger, 1990]

Z. Manna and W. Waldinger. The Logical Basis for Computer Programming, volume 1 and 2. Addison-Wesley, Reading, MA, 1990. Sig: MAN z 85:1 1.P-Ex.

[Matiyasevich, 1993]

Yuri V. Matiyasevich. Hilbert's 10^th Problem. Foundations of Computing Series. The MIT Press, The MIT Press, Cambridge, MA, 1993. Sig: MAT y 93 1.Ex.

[Milner and Tofte, 1991]

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

[Milner et al., 1997]

Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Definition of Standard ML (Revised). The MIT Press, The MIT Press, Cambridge, MA, revised edition, 1997. Sig: MIL r 97:1 1.Ex.

[Milner, 1980]

Robin Milner. A Calculus of Communicating Systems, volume 92 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, Germany, 1980. Sig: MIL r 80:1.

[Milner, 1989]

Robin Milner. Communication and Concurrency. Prentice-Hall, Englewood Cliffs, N.J., 1989. Sig: MIL r 89:1 1.Ex.

[Mitchell, 1996]

John C. Mitchell. Foundations for Programming Languages. The MIT Press, Cambridge, MA, 1996. Sig: MIT j 96:1.

[Pierce, 1991]

Benjamin C. Pierce. Basic Category Theory for Computer Scientists. The MIT Press, Cambridge, MA, 1991. Sig: .

[Schmidt, 1994]

David A. Schmidt. The Structure of Typed Programming Languages. The MIT Press, Cambridge, MA, 1994. Sig: SchMI d2 94.

[Seldin and Hindley, 1980]

Jonathan P. Seldin and Roger Hindley, editors. To H.B. Curry: Essays on Combinatory Logic, Lambda Calculs and Formalism. Academic Press, New York, N.Y., 1980. Sig: SEL j 80:1 1.Ex.

[Tennent, 1991]

R. D. Tennent. Semantics of Programming Languages. Prentice-Hall, Englewood Cliffs, N.J., 1991. Sig: TEN r 91:1.

[Winskel, 1993]

Glynn Winskel. The Formal Semantics of Programming Languages. Foundations of Computing. The MIT Press, Cambridge, MA, 1993. Sig: WIN g2 93:1 2.Ex.