https://arxiv.org/abs/cs/0408037v1
[cs/0408037v1] Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and...
Abstract page for arXiv paper cs/0408037v1: Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics
type theory