Обычный вид MARC21 Карточка
Препринт

Препринты ИПМ им. М. В. Келдыша. - 2013. № 73. TT Lite: a supercompiler for Martin-Löf’s type theory / I. G. Klyuchnikov, S. A. Romanenko

Другие авторы: Перевод заглавия: TT Lite: суперкомпилятор для теории типов Мартина-ЛёфаСводное описание: Препринты ИПМ им М В Келдыша - 2013Язык: Английский Выходные данные: Москва: ИПМ им. М. В. Келдыша РАН, 2013Физическая характеристика: 28 сISSN:
  • 2071-2898 (Print)
  • 2071-2901 (Online)
Серия: Препринты ИПМ им. М.В. Келдыша / Институт прикладной математики имени М.В. Келдыша Российской академии наукУДК: ( udk ) 004.42(063) Электронный ресурс:
Тип экземпляра: Препринт
Нет реальных экземпляров для этой записи