Introduction to Higher-Order Categorical Logic

Introduction to Higher-Order Categorical Logic
Автор
 
Год
 
Страниц
 
293

Описание:

Part 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.

Похожие книги

The Strategy Concept and Process: A Pragmatic Approach (2nd Edition)The Strategy Concept and Process: A Pragmatic Approach (2nd Edition)
Автор: Arnoldo C. Hax, Nicolas S. Majluf
Год: 1999
The Socio-Economic Causes and Consequences of Desertification in Central Asia (NATO Science for Peace and Security Series C: Environmental Security)The Socio-Economic Causes and Consequences of Desertification in Central Asia (NATO Science for Peace and Security Series C: Environmental Security)
Автор: Robert Conte, Micheline Musette
Год: 2008
Coatings Technology HandbookCoatings Technology Handbook
Год: 2005
Allergens and Allergen Immunotherapy, Allergens and Allergen Immunotherapy,
Год: 2008
Full-Wave Equivalent Circuit for Printed Circuit StructuresFull-Wave Equivalent Circuit for Printed Circuit Structures
Автор: Eng Kee Chua
Год: 2010
Oxygen Scavenging NanoparticleOxygen Scavenging Nanoparticle
Автор: Youngjae Byun
Год: 2010