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

Sorin Istrail

Browse the full ICALP paper archive.