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