On Higher Inductive Types in Cubical Type Theory - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Thierry Coquand, Simon Huber, Anders Mörtberg. On Higher Inductive Types in Cubical Type Theory. In Anuj Dawar, Erich Grädel, editors, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018. pages 255-264, ACM, 2018. [doi]

This author has not been identified. Look up 'Thierry Coquand' in GoogleThis author has not been identified. Look up 'Simon Huber' in GoogleThis author has not been identified. Look up 'Anders Mörtberg' in Google

runs on WebDSL