TY  - BOOK
AU  - Ключников, Илья Григорьевич
AU  - Романенко,Сергей Анатольевич
TI  - № 73. TT Lite: a supercompiler for Martin-Löf’s type theory
T2  - Препринты ИПМ им. М.В. Келдыша / Институт прикладной математики имени М.В. Келдыша Российской академии наук
SN  - 2071-2898
PY  - 2013///
CY  - Москва
PB  - ИПМ им. М. В. Келдыша РАН
UR  - https://keldysh.ru/papers/2013/prep2013_73_eng.pdf
ER  -