A496724-ОХФ Palmgren, Erik. On Fixed Point Operators, Inductive Definitions and Universes in Martin-Lof's Type Theory [Текст] : doctoral Dissert. in Mathematics / Erik Palmgren. - Uppsala : Uppsala Univ., 1991. - 12 p. - Bibliogr. - ISBN Б. и. : 3.00 р.
Рубрики: математика--математический анализ Кл.слова (ненормированные): операторы -- индуктивные определения -- конструктивная математика доказательств Экземпляры всего: 1 ОХФ (1) |