UF IAS 2012 Archive All pages

Overview

The UF IAS 2012 Archive wiki has 40 pages.

Pages

• Calendar
• Categorical Semantics WG
• Coq for UF
• Coq Working Group
• Definitional Equality
• Formalized Homotopy Theory
• Higher Inductive Types
• Home > history
• HomePage
• Homotopy Type System
• HomotopyGroupsOfSpheres
• How to add a plugin
• IAS program participants
• Informal Type Theory
• Logical Frameworks
• Math in HoTT
• Meaning Explanations
• Modal type theory
• Notation and terminology
• Notes
• Open Problems
• Organizational Meeting
• Outline of the proof assistant
• Proof assistant wishlist
• Quillen Model Categories
• Resources
• Seifert–van Kampen theorem
• Semantics of type theory
• Semi-simplicial types
• Seminar
• Setoid model of type theory formalized
• Setoids, Groupoids, etc
• Some relevant links
• The book
• Tutorials
• Type classes
• UF Event in February
• Univalence
• Universes
• Working Groups