External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Naturality for higher-dimensional path types

Thibaut Benjamin, Ioannis Markakis, Wilfred Offord, Chiara Sarti, Jamie Vicary. Naturality for higher-dimensional path types. In 40th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2025, Singapore, June 23-26, 2025. pages 275-288, IEEE, 2025. [doi]

Authors

Thibaut Benjamin

This author has not been identified. Look up 'Thibaut Benjamin' in Google

Ioannis Markakis

This author has not been identified. Look up 'Ioannis Markakis' in Google

Wilfred Offord

This author has not been identified. Look up 'Wilfred Offord' in Google

Chiara Sarti

This author has not been identified. Look up 'Chiara Sarti' in Google

Jamie Vicary

This author has not been identified. Look up 'Jamie Vicary' in Google
runs on