Encoding Dependent Types in an Intuitionistic Logic | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Количество экземпляров:

1

Колл. автор:

Вид:

Препринт

Год:

1991

Ключевые слова:

интуиционистский

Стр.:

31 p.

Библиография:

Bibliogr.: p.23-24.

Место издания:

Номер:

RR-1521

Карточка:

Б2.13.

Felty A..

Encoding Dependent Types in an Intuitionistic Logic-Rocquencourt., 1991.-31 p.-(Препринт INRIA №RR-1521).
Bibliogr.: p.23-24.

Таблица в старой библиотеке:

PREP1 581