Encoding fix in object calculi
Crole, Roy L.
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 34 (2000), p. 15-38 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 2000-01-01
@article{ITA_2000__34_1_15_0,
     author = {Crole, Roy L.},
     title = {Encoding fix in object calculi},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {34},
     year = {2000},
     pages = {15-38},
     mrnumber = {1771127},
     zbl = {0971.68098},
     language = {en},
     url = {http://dml.mathdoc.fr/item/ITA_2000__34_1_15_0}
}

Crole, Roy L. Encoding fix in object calculi. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 34 (2000) pp. 15-38. http://gdmltest.u-ga.fr/item/ITA_2000__34_1_15_0/

[1] M. Abadi and L. Cardelli, A Theory of Objects. Springer-Verlag, Monogr. Comput. Sci. (1996). | MR 1418635 | Zbl 0876.68014

[2] R. L. Crole, Functional Programming Theory (1995). Department of Mathematics and Computer Science Lecture Notes, LATEX format iv+68 pages with index.

[3] R. L. Crole and A. M. Pitts, New Foundations for Fixpoint Computations: FIX Hyperdoctrines and the FIX Logic. Information and Computation 98 (1992) 171-210. LICS '90 Special Edition of Information and Computation. | MR 1167030 | Zbl 0763.03031

[4] A. D. Gordon, Bisimilarity as a theory of functional programming. Electron. Notes Theor. Comput. Sci. 1 (1995). | MR 1486851 | Zbl 0910.68118

[5] A. D. Gordon, Everything is an object. Seminar Notes, Microsoft Research U.K. (1997).

[6] C. A. Gunter, Semantics of Programming Languages: Structures and Techniques. Foundations of Computing. MIT Press (1992). | MR 1194880 | Zbl 0823.68059

[7] G. Kahn, Natural semantics, edited by K. Fuchi and M. Nivat, Programming of Future Generation Computers, Elsevier Science Publishers B.V. North Holland (1988) 237-258. | Zbl 0657.68079

[8] Z. Luo, Computation and Reasoning. Oxford University Press, Monogr. Comput. Sci. 11 (1994). | MR 1291601 | Zbl 0823.68101

[9] E. Moggi, Notions of computation and monads. Theoret. Comput. Sci. 93 (1989) 55-92. | MR 1115262 | Zbl 0723.68073

[10] B. Nordström, K. Petersson and J. M. Smith, Programming in Martin-Löf's Type Theory. Oxford University Press, Monogr. Comput. Sci. (1990). | MR 1243882 | Zbl 0744.03029

[11] A. M. Pitts, Operationally Based Theories of Program Equivalence, edited by P. Dybjer and A.M. Pitts, Semantics and Logics of Computation (1997). | MR 1629531 | Zbl 0919.68086

[12] G. D. Piotkin, A structural approach to operational semantics. Technical Report DAIMI-FN 19. Department of Computer Science, University of Aarhus, Denmark (1981).

[13] G. Winskel, The Formal Semantics of Programming Languages. Foundations of Computing. The MIT Press, Cambridge, Massachusetts (1993). | MR 1219956 | Zbl 0919.68082