## Sorin Istrail

*A Fixed-Point Theorem for Recursive-Enumerable Languages and Some Considerations About Fixed-Point Semantics of Monadic Programs*

ICALP, 1979.

@inproceedings{ICALP-1979-Istrail, author = "Sorin Istrail", booktitle = "{Proceedings of the Sixth Colloquium on Automata, Languages and Programming}", doi = "10.1007/3-540-09510-1_23", isbn = "3-540-09510-1", pages = "289--303", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{A Fixed-Point Theorem for Recursive-Enumerable Languages and Some Considerations About Fixed-Point Semantics of Monadic Programs}", volume = 71, year = 1979, }