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.

Univalent Double Categories

Niels van der Weide, Nima Rasekh, Benedikt Ahrens, Paige Randall North. Univalent Double Categories. In Amin Timany, Dmitriy Traytel, Brigitte Pientka, Sandrine Blazy, editors, Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2024, London, UK, January 15-16, 2024. pages 246-259, ACM, 2024. [doi]

Authors

Niels van der Weide

This author has not been identified. Look up 'Niels van der Weide' in Google

Nima Rasekh

This author has not been identified. Look up 'Nima Rasekh' in Google

Benedikt Ahrens

This author has not been identified. Look up 'Benedikt Ahrens' in Google

Paige Randall North

This author has not been identified. Look up 'Paige Randall North' in Google
runs on