TY  - BOOK
AU  - Ključnikov, I. G.
AU  - Romanenko, S. A.
TI  - TT Lite: a supercompiler for Martin-Löf's type theory
T2  - Препринт
VL  - N 73 за 2013 г.
PY  - 2013///
CY  - Moscow
PB  - ИПМ РАН
KW  - Компиляторы (компьют.)
KW  - Теория
KW  - RU\NLR\AUTH\661344711
KW  - З973.2-018-5-05
N2  - Библиогр.: с. 17-18 (24 назв.)
ER  -