Foundations and Applications of Higher-Dimensional Directed Type Theory

by Robert Harper , Daniel R. Licata