&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Препринты ИПМ им. М. В. Келдыша. &mdash; 2013. &mdash; Москва: ИПМ им. М. В. Келдыша РАН.<br><br>Ключников, Илья Григорьевич.<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;№ 73. TT Lite: a supercompiler for Martin-Löf’s type theory / I. G. Klyuchnikov, S. A. Romanenko. &mdash; Москва : ИПМ им. М. В. Келдыша РАН, 2013. &mdash; 28 с. (Препринты ИПМ им. М.В. Келдыша / Институт прикладной математики имени М.В. Келдыша Российской академии наук). &mdash; ISSN 2071-2898 (Print). &mdash; ISSN 2071-2901 (Online).<br><br><br>Романенко, Сергей Анатольевич<br><br> TT Lite: суперкомпилятор для теории типов Мартина-Лёфа.<br><br>УДК: 004.42(063) <br><br>[ SYS NUM: 20246 ]