×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [categorical proof theory]
Home >
categorical proof theory
Category Theory for All (NASSLLI 2012)
2.307 views
Who's afraid of Categorical models?
371 views