Wagner, Eric G. An algebraic theory of recursive definitions and recursive languages. (English) Zbl 0252.02048 ACM, Proc. 3rd ann. ACM Sympos. Theory Computing, Shaker Heights, Ohio 1971, 12-23 (1971). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 4 Documents MSC: 68Q45 Formal languages and automata 03D99 Computability and recursion theory 06B05 Structure theory of lattices 18C10 Theories (e.g., algebraic theories), structure, and semantics PDF BibTeX XML