Showing changes from revision #2 to #3:
Added | Removed | Changed
Ayala- Rozenbluym Rozenblyum, see the references at (infinity,n)-category with adjoints
(directed) type theoryHoTT - contents
ncafĂ©:directed homotopy type theory(directed) type theory
Daniel R.Licata, Robert Harper, 2-dimensional directed type theory, pdf
Daniel R.Licata, Robert Harper, 2-dimensional directed type theory, pdf
cobordism hypothesis and topological quantum field theories