| 000 | 01640nam0a2200361 4500 | ||
|---|---|---|---|
| 001 | RU\NLR\BIBL_A\010193154 | ||
| 005 | 20260408193846.0 | ||
| 021 |
_aRU _b2013-100527 _96984 |
||
| 035 | _a(NLR Aleph) 010193154 | ||
| 090 |
_a10207941 _c10207941 |
||
| 100 | _a20140219d2013 k y0rusy50 ca | ||
| 101 | 0 |
_aeng _drus |
|
| 102 | _aRU | ||
| 105 | _aa|||z|||000yy | ||
| 200 | 1 |
_aTT Lite: a supercompiler for Martin-Löf's type theory _fIlya G. Klyuchnikov, Sergei A. Romanenko |
|
| 210 |
_aMoscow _cИПМ РАН _d2013 |
||
| 215 |
_a28 с. _cил. _d21 |
||
| 225 | 1 |
_aПрепринт _fKeldysh inst. of appl. mathematics, Russ. acad. of sciences _x2071-2898 _vN 73 за 2013 г. |
|
| 225 | 1 |
_aПрепринты ИПМ им. М.В. Келдыша _dKeldysh institute preprints _zeng |
|
| 300 | _aНа обороте тит. л.: TT Lite: суперкомпилятор для теории типов Мартина-Лефа / Илья Ключников, Сергей Романенко | ||
| 300 | _aНа обл. надзаг. на рус. яз. | ||
| 300 | _aРез на рус. яз. | ||
| 320 | _aБиблиогр.: с. 17-18 (24 назв.) | ||
| 517 | 1 | _aTT Lite: суперкомпилятор для теории типов Мартина-Лефа | |
| 606 |
_aКомпиляторы (компьют.) _xТеория _3RU\NLR\AUTH\661344711 _92240970 |
||
| 686 | 1 | _aЗ973.2-018-5-05 | |
| 700 | 1 |
_6z40790 _aKljučnikov _bI. G. _gIl'ja Grigor'evič |
|
| 701 | 1 |
_aRomanenko _bS. A. _gSergej A |
|
| 790 | 1 |
_6z40700 _aKlyuchnikov _bI. G. _gIlya G. |
|
| 942 | _cBOOK | ||
| 980 | _aNB | ||