Naturality for higher-dimensional path types.

Thibaut Benjamin, Ioannis Markakis, Wilfred Offord, Chiara Sarti, Jamie Vicary

Browse the full LICS paper archive.