Sciweavers

Canonicity for 2-dimensional type theory
Recent Google, Yahoo, MSN search queries leading to this post
Canonicity for 2-dimensional type theory
Data is not available yet.