Cumulative Inductive Types In Coq - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Amin Timany, Matthieu Sozeau. Cumulative Inductive Types In Coq. In Hélène Kirchner, editor, 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK. Volume 108 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]

This author has not been identified. It may be one of the following persons:

Amin Timany

Look up 'Amin Timany' in GoogleThis author has not been identified. Look up 'Matthieu Sozeau' in Google

runs on WebDSL