Encoding fix in object calculi
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Volume 34 (2000) no. 1, pp. 15-38.
@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},
     pages = {15--38},
     publisher = {EDP-Sciences},
     volume = {34},
     number = {1},
     year = {2000},
     mrnumber = {1771127},
     zbl = {0971.68098},
     language = {en},
     url = {http://www.numdam.org/item/ITA_2000__34_1_15_0/}
}
TY  - JOUR
AU  - Crole, Roy L.
TI  - Encoding fix in object calculi
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 2000
SP  - 15
EP  - 38
VL  - 34
IS  - 1
PB  - EDP-Sciences
UR  - http://www.numdam.org/item/ITA_2000__34_1_15_0/
LA  - en
ID  - ITA_2000__34_1_15_0
ER  - 
%0 Journal Article
%A Crole, Roy L.
%T Encoding fix in object calculi
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2000
%P 15-38
%V 34
%N 1
%I EDP-Sciences
%U http://www.numdam.org/item/ITA_2000__34_1_15_0/
%G en
%F ITA_2000__34_1_15_0
Crole, Roy L. Encoding fix in object calculi. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Volume 34 (2000) no. 1, pp. 15-38. http://www.numdam.org/item/ITA_2000__34_1_15_0/

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

[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 | Zbl

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

[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 | Zbl

[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

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

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

[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 | Zbl

[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 | Zbl

[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 | Zbl