@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 -
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] A Theory of Objects. Springer-Verlag, Monogr. Comput. Sci. (1996). | MR | Zbl
and ,[2] Functional Programming Theory (1995). Department of Mathematics and Computer Science Lecture Notes, LATEX format iv+68 pages with index.
,[3] 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
and ,[4] Bisimilarity as a theory of functional programming. Electron. Notes Theor. Comput. Sci. 1 (1995). | MR | Zbl
,[5] Everything is an object. Seminar Notes, Microsoft Research U.K. (1997).
,[6] Semantics of Programming Languages: Structures and Techniques. Foundations of Computing. MIT Press (1992). | MR | Zbl
,[7] 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] Computation and Reasoning. Oxford University Press, Monogr. Comput. Sci. 11 (1994). | MR | Zbl
,[9] Notions of computation and monads. Theoret. Comput. Sci. 93 (1989) 55-92. | MR | Zbl
,[10] Programming in Martin-Löf's Type Theory. Oxford University Press, Monogr. Comput. Sci. (1990). | MR | Zbl
, and ,[11] Operationally Based Theories of Program Equivalence, edited by P. Dybjer and A.M. Pitts, Semantics and Logics of Computation (1997). | MR | Zbl
,[12] A structural approach to operational semantics. Technical Report DAIMI-FN 19. Department of Computer Science, University of Aarhus, Denmark (1981).
,[13] The Formal Semantics of Programming Languages. Foundations of Computing. The MIT Press, Cambridge, Massachusetts (1993). | MR | Zbl
,