Приложение одной разновидности типизированного лямбда-исчисления к построению формальных моделей программтезисы доклада

Работа с тезисами доклада


[1] Васенин В. А., Кривчиков М. А. Приложение одной разновидности типизированного лямбда-исчисления к построению формальных моделей программ // Ломоносовские чтения. Научная конференция. Секция механики. 14–23 апреля 2014 года. Тезисы докладов. — Издательство Московского университета Москва, 2014. — С. 39–39.

Публикация в формате сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл скрыть