Foundations and Applications of Higher-Dimensional Directed Type Theory

by n.n.