Page 165 - Textos de Matemática Vol. 40

Bibliography
[AC96] Mart´ın Abadi and Luca Cardelli. A Theory of Objects. Springer, 1996.
[AC98] Roberto M. Amadio and Pierre-Louis Curien. Domains and Lambda- Calculi. Cambrigde University Press, 1998.
[Acz77] Peter Aczel. The strength of Martin L¨of’s intuitionistic type the- ory with one universe. In S. Miettinen and J. V¨a¨an¨anen, editors, Proceedings of the Symposiums on Mathematical Logic in Oulo 1974 and in Helsinki 1975. Report No. 2 from the Dept. of Philosophy, University of Helsinki, 1977.
[Acz80] Peter Aczel. Frege structures and the notion of proposition, truth and set. In J. Barwise, H. Keisler, and K. Kunen, editors, The Kleene Symposium, pages 31–59. North-Holland, 1980.
[Acz88] Peter Aczel. Non-well-founded sets, volume 14 of CSLI Lecture Notes. CSLI, Stanford, 1988.
[AS85] Harold Abelson and Gerald Sussmann. Structure and Interpretation of Computer Programs. MIT Press, 1985.
[Bar75] Jon Barwise. Admissible Sets and Structures. Spinger, 1975. [Bar77] Jon Barwise, editor. Handbook of Mathematical Logic. North-
Holland, 1977.
[Bar84] Hendrik Barendregt. The Lambda Calculus: Its Syntax and Seman- tics, volume 103 of Studies in Logic and the Foundations of Mathe- matics. North-Holland, revised edition, 1984.
[Bee85] Michael Beeson. Foundations of Constructive Mathematics. Ergeb- nisse der Mathematik und ihrer Grenzgebiete; 3.Folge, Bd. 6. Springer, 1985.
153