- 2 402 202 книги
- Поиск
libcats.org
Introduction to Higher-Order Categorical Logic
J. Lambek, P. J. ScottPart I indicates that typed-calculi are a formulation of higher-order logic, and cartesian closed categories are essentially the same. Part II demonstrates that another formulation of higher-order logic is closely related to topos theory.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, сад
Автор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапах
Автор: Роман Савин
Размер книги: 5.26 Mb
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555
Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Calcium Regulation of Cellular Function, Volume 30 (Advances in Second Messenger & Phosphoprotein Research)
Автор: Anthony R. Means, Автор: Paul Greengard, Автор: Angus C. Nairn, Автор: Shirish ShenolikarКатегория: Biology
Размер книги: 24.29 Mb
Schaum's Outline of Quantum Mechanics (Schaum's)
Автор: Elyahu Zaarur, Автор: Phinik Reuven
Размер книги: 11.52 Mb
Aryan idols : Indo-European mythology as ideology and science
Автор: Stefan Arvidsson, Автор: Sonia Wichmann
Размер книги: 29.99 Mb
Developing an Infrastructure for Mobile and Wireless Systems: NSF Workshop IMWS 2001, Scottsdale, AZ, October 15, 2001, Revised Papers
Автор: Birgitta König-Ries, Автор: Kia Makki, Автор: S. A. M. Makki, Автор: Niki Pissinou, Автор: Peter Scheuermann
Размер книги: 2.23 Mb
From the Great River to the Ends of the Earth (The Missionary Oblates of Mary Immaculate)
Автор: Martha McCarthyКатегория: Геология
Размер книги: 14.91 Mb
Self-Organizing Systems: 4th IFIP TC 6 International Workshop, IWSOS 2009, Zurich, Switzerland, December 9-11, 2009, Proceedings (Lecture Notes in ... Networks and Telecommunications)
Автор: Thrasyvoulos Spyropoulos, Автор: Karin Anna HummelКатегория: Компьютеры, Сети
Размер книги: 5.84 Mb