Sciweavers

Canonicity for 2-dimensional type theory
Recent countries visiting this post
Canonicity for 2-dimensional type theory
us8United States
un6
cn6China
de3Germany
it1Italy