Shallow Embedding of Type Theory is Morally Correct - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ambrus Kaposi, András Kovács, Nicolai Kraus. Shallow Embedding of Type Theory is Morally Correct. In Graham Hutton, editor, Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings. Volume 11825 of Lecture Notes in Computer Science, pages 329-365, Springer, 2019. [doi]

This author has not been identified. Look up 'Ambrus Kaposi' in GoogleThis author has not been identified. Look up 'András Kovács' in GoogleThis author has not been identified. Look up 'Nicolai Kraus' in Google

runs on WebDSL