High Quality Content by WIKIPEDIA articles! Dialectica spaces are a categorical way of constructing models of linear logic. They were introduced by Valeria de Paiva, Martin Hyland's student, in her doctoral thesis, as a way of modeling both linear logic and Godel's dialectica interpretation—hence the name. Given a category C and a specific object K of C with certain properties, one can construct the category of Dialectica spaces over C, whose objects are pairs of objects of C, related by a...
High Quality Content by WIKIPEDIA articles! Dialectica spaces are a categorical way of constructing models of linear logic. They were introduced by Valeria de Paiva, Martin Hyland's student, in her doctoral thesis, as a way of modeling both linear logic and Godel's dialectica interpretation—hence the name. Given a category C and a specific object K of C with certain properties, one can construct the category of Dialectica spaces over C, whose objects are pairs of objects of C, related by a C-morphism into the given object. Morphisms of Dialectica spaces are similar to Chu space morphisms, but instead of an equality condition, they have an inequality condition.
Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.
«Твои правила» — детская иллюстрированная серия, посвященная самым зрелищным видам спорта, искусства и активного досуга. Эти книги на конкретных примерах объясняют ребенку историю появления той или иной дисциплины, теорию и практику, особенности обучения. Повествование строится от описания простейших знаний и самостоятельных навыков к советам по достижению успехов и выходу на мировой уровень....
Издательство:
Манн, Иванов и Фербер
Дата выхода: март 2018
Молодые и старые, сделанные из резины или из ржавого железа, – абсолютно любые люди могут сесть на шпагат! И сделать это всего за месяц, не прилагая особых усилий и не испытывая острых болевых ощущений. Переводчик: Н. А. Соломкина.
Оставить комментарий