2-dimensional directed type theory (0)

by Daniel R Licata, Robert Harper
Venue:Electr. Notes Theor. Comput. Sci