Free, iteratively closed categories of complete lattices
Cahiers de topologie et géométrie différentielle, Tome 16 (1975) no. 4, pp. 415-424. 
@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://www.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://www.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://www.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://www.numdam.org/item/CTGDC_1975__16_4_415_0/

1 Bekic H., Definable operations in general algebras and the Theory of Automata and Flowcharts, I.B.M. Vienna, 1969.

2 Reynolds J.C., Notes on a lattice-theoretical approach to the Theory of Computation, Dept. of Systems & Info. Sc., Syracuse University, 1972.

3 Scott D., The lattice of flow diagrams, Oxford U. Comp. Lab., Rep. PRG-3, 1970. | MR

4 Scott D., Data types as lattices, Lecture Notes, Amsterdam, 19, 2.

5 Tarski A., A lattice-theoretical fixpoint theorem and its applications, Pacific J. of Math. 5 (1955), 285-309. | MR | Zbl

6 Wagner E.G., An algebraic theory of recursive definitions and recursive languages, Proc. 3d ACM Symp. Th. Comp. (1971), 12-23. | Zbl

7 Wand M., A concrete approach to abstract recursive definitions, Automata, Languages & Programming (M. Nivat ed.), North-Holland, 1973, 331-341. | MR | Zbl

8 Wand M., Mathematical foundations of Formal Language Theory. Project MAC TR-108, M.I.T., Cambridge, Mass. 1973.