Вернуться к Подробностям о статье
Non-standard reductions and categorical models in typed lambda-calculus.
Скачать
Скачать PDF