The Construction of Set-Truncated Higher Inductive Types - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Niels van der Weide, Herman Geuvers. The Construction of Set-Truncated Higher Inductive Types. In Barbara König 0001, editor, Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2019, London, UK, June 4-7, 2019. Volume 347 of Electronic Notes in Theoretical Computer Science, pages 261-280, Elsevier, 2019. [doi]

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

runs on WebDSL