Longo G.,Moggi E. ...


Longo G., Moggi E.
[1984]
The hereditary partial effective functionals and recursion theory in higter types
J. Symbolic Logic, 49, № 4, 1319-1332
85.09.35
O
article

Вернуться к поиску