@article{CTGDC_1975__16_4_415_0, author = {Wand, Mitchell}, title = {Free, iteratively closed categories of complete lattices}, journal = {Cahiers de topologie et g\'eom\'etrie diff\'erentielle}, pages = {415--424}, publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS}, volume = {16}, number = {4}, year = {1975}, mrnumber = {422386}, zbl = {0336.18007}, language = {en}, url = {http://archive.numdam.org/item/CTGDC_1975__16_4_415_0/} }
TY - JOUR AU - Wand, Mitchell TI - Free, iteratively closed categories of complete lattices JO - Cahiers de topologie et géométrie différentielle PY - 1975 SP - 415 EP - 424 VL - 16 IS - 4 PB - Dunod éditeur, publié avec le concours du CNRS UR - http://archive.numdam.org/item/CTGDC_1975__16_4_415_0/ LA - en ID - CTGDC_1975__16_4_415_0 ER -
%0 Journal Article %A Wand, Mitchell %T Free, iteratively closed categories of complete lattices %J Cahiers de topologie et géométrie différentielle %D 1975 %P 415-424 %V 16 %N 4 %I Dunod éditeur, publié avec le concours du CNRS %U http://archive.numdam.org/item/CTGDC_1975__16_4_415_0/ %G en %F CTGDC_1975__16_4_415_0
Wand, Mitchell. Free, iteratively closed categories of complete lattices. Cahiers de topologie et géométrie différentielle, Tome 16 (1975) no. 4, pp. 415-424. http://archive.numdam.org/item/CTGDC_1975__16_4_415_0/
1 Definable operations in general algebras and the Theory of Automata and Flowcharts, I.B.M. Vienna, 1969.
,2 Notes on a lattice-theoretical approach to the Theory of Computation, Dept. of Systems & Info. Sc., Syracuse University, 1972.
,3 The lattice of flow diagrams, Oxford U. Comp. Lab., Rep. PRG-3, 1970. | MR
,4 Data types as lattices, Lecture Notes, Amsterdam, 19, 2.
,5 A lattice-theoretical fixpoint theorem and its applications, Pacific J. of Math. 5 (1955), 285-309. | MR | Zbl
,6 An algebraic theory of recursive definitions and recursive languages, Proc. 3d ACM Symp. Th. Comp. (1971), 12-23. | Zbl
,7 A concrete approach to abstract recursive definitions, Automata, Languages & Programming (M. Nivat ed.), North-Holland, 1973, 331-341. | MR | Zbl
,8 Mathematical foundations of Formal Language Theory. Project MAC TR-108, M.I.T., Cambridge, Mass. 1973.
,