Библиография Лаврова И.А.


Longo G., Moggi E.
[1984]
Gödel numberings, principal morphisms, combinatory algebras
Lect. Notes in Comp. Sci., 176, 397-406, Springer -Verlag
85.04.72
article

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