2-dimensional directed type theory (2011)

by D R Licata, R Harper
Venue:In Mathematical Foundations of Programming Semantics (MFPS