| 000 | 01340nam a22002897c 4500 | ||
|---|---|---|---|
| 001 | 000020246 | ||
| 003 | RuMoIPM | ||
| 005 | 20250210200229.0 | ||
| 008 | 250130s2013 ru ||||| |||| 00| 0 eng d | ||
| 022 | _a2071-2898 (Print) | ||
| 022 | _a2071-2901 (Online) | ||
| 035 | _abiblionumber | ||
| 040 |
_aRuMoIPM _brus _ercr |
||
| 041 | _aeng | ||
| 044 | _aru | ||
| 080 |
_2udk _a004.42(063) |
||
| 100 | _aКлючников, Илья Григорьевич | ||
| 242 | 0 | 0 | _aTT Lite: суперкомпилятор для теории типов Мартина-Лёфа |
| 245 |
_a№ 73. TT Lite: a supercompiler for Martin-Löf’s type theory _cI. G. Klyuchnikov, S. A. Romanenko |
||
| 260 |
_c2013 _aМосква _bИПМ им. М. В. Келдыша РАН |
||
| 300 | _a28 с. | ||
| 490 | 0 | _aПрепринты ИПМ им. М.В. Келдыша / Институт прикладной математики имени М.В. Келдыша Российской академии наук | |
| 700 | 1 | _aРоманенко, Сергей Анатольевич | |
| 773 | 0 | 8 |
_w000019308 _7nnam _dМосква: ИПМ им. М. В. Келдыша РАН _tПрепринты ИПМ им. М. В. Келдыша. - 2013 _x2071-2898 (Print) |
| 856 | 4 | 0 |
_qapplication/pdf _uhttps://keldysh.ru/papers/2013/prep2013_73_eng.pdf |
| 942 | _cPR | ||
| 999 |
_c20246 _d20246 |
||