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


Kristiansen L. Normann D.
[1994]
Interpreting higher computations as types with totality
Arch. Math. Logik Grundl., 33, № 4, 243-259
95.07.44
article

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