Longo G. ...


Longo G.
[1979]
Ricorsivita’ nei tipi superiori: un’introduzione alle caratterizzazioni di Erschov ed Hyland
Rend. sem . mat. Univ. politechn., Torino, 37, № 3, 1-29
80.12.49
article

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