Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Patras Logic Symposium: Proceedings
Автор: Metakides G.
Аннотация:
We show that Kleene's theory of unimonotone functions strictly relates to the theory of sequentiality originated by the full abstraction problem for PCF. Unimonotone functions are defined via a class of oracles, which turn out to be alternative descriptions of a subclass of Berry-Curien's sequential algorithms.