Skip to main content
Wikispaces Classroom is now free, social, and easier than ever.
Try it today.
guest
Join

Help

Sign In
UFIAS2012
Home
guest

Join

Help

Sign In
UFIAS2012
Wiki Home
Projects
Recent Changes
Pages and Files
Members
Favorites
20
All Pages
20
Home
Calendar
Categorical Semantics WG
Coq for UF
Coq Working Group
Definitional Equality
Formalized Homotopy Theory
Higher Inductive Types
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
see more
Add
Add "All Pages"
Done
Homotopy Type System
Edit
0
4
…
0
Tags
No tags
Notify
RSS
Backlinks
Source
Print
Export (PDF)
Here are materials related to Vladimir's proposal for a type theory with two kinds of equality, called Homotopy Type System (HTS).
Notes
on HTS.
Slides
from a talk given on Joyal's 70th birthday, 2/25/13.
Note: this is work in progress.
Javascript Required
You need to enable Javascript in your browser to edit pages.
help on how to format text
Turn off "Getting Started"
Home
...
Loading...
Note: this is work in progress.