TT Lite: a supercompiler for Martin-Löf's type theory / Ilya G. Klyuchnikov, Sergei A. Romanenko
Другие варианты заглавия: : TT Lite: суперкомпилятор для теории типов Мартина-ЛефаЯзык: английский ; резюме, русский.Выходные данные: Moscow : ИПМ РАН, 2013Физическая характеристика: 28 с. : ил. ; 21 см.Серия: Препринт ; N 73 за 2013 г. ; 2071-2898 . Препринты ИПМ им. М.В. Келдыша Примечания: На обороте тит. л.: TT Lite: суперкомпилятор для теории типов Мартина-Лефа / Илья Ключников, Сергей Романенко; На обл. надзаг. на рус. яз.; Рез на рус. яз..Библиография: Библиогр.: с. 17-18 (24 назв.).Предметная рубрика - Тема: Компиляторы (компьют.) -- Теория Другие классификации: З973.2-018-5-05Коллекция: Национальная библиография Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Кол-во копий | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Иностранный книжный фонд | Ик 2014-4/46 (Просмотр полки(Открывается ниже)) | 6984 | Доступно | 1-276961 |
На обороте тит. л.: TT Lite: суперкомпилятор для теории типов Мартина-Лефа / Илья Ключников, Сергей Романенко
На обл. надзаг. на рус. яз.
Рез на рус. яз.
Библиогр.: с. 17-18 (24 назв.)