Dependence and Independence Results for (Impredicative) Calculi of Dependent Types

Вы здесь

Автор:

Streicher T.

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

Колл. автор:

Univ.Passau

Вид:

Препринт

Год:

1990

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

тип

синтаксический

семантика

Стр.:

33 p.

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

Bibliogr.: p.32-33

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

Passau

Номер:

MIP-9015

Карточка:

Б2.33.

Streicher T..

Dependence and Independence Results for (Impredicative) Calculi of Dependent Types-Passau., 1990.-33 p.-(Препринт Univ.Passau №MIP-9015).
Bibliogr.: p.32-33

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

PREP1 64