Verifying a Semantic beta-eta-Conversion Test for Martin-Löf Type Theory - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Andreas Abel, Thierry Coquand, Peter Dybjer. Verifying a Semantic beta-eta-Conversion Test for Martin-Löf Type Theory. In Philippe Audebaud, Christine Paulin-Mohring, editors, Mathematics of Program Construction, 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings. Volume 5133 of Lecture Notes in Computer Science, pages 29-56, Springer, 2008. [doi]

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

Andreas Abel

Look up 'Andreas Abel' in GoogleThis author has not been identified. Look up 'Thierry Coquand' in GoogleThis author has not been identified. Look up 'Peter Dybjer' in Google

runs on WebDSL