Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Reynald Affeldt, Cyril Cohen, Marie Kerjean, Assia Mahboubi, Damien Rouhling, Kazuhiko Sakaguchi. Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis. In Nicolas Peltier, Viorica Sofronie-Stokkermans, editors, Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II. Volume 12167 of Lecture Notes in Computer Science, pages 3-20, Springer, 2020. [doi]

This author has not been identified. Look up 'Reynald Affeldt' in GoogleThis author has not been identified. Look up 'Cyril Cohen' in GoogleThis author has not been identified. Look up 'Marie Kerjean' in GoogleThis author has not been identified. Look up 'Assia Mahboubi' in GoogleThis author has not been identified. Look up 'Damien Rouhling' in GoogleThis author has not been identified. Look up 'Kazuhiko Sakaguchi' in Google

runs on WebDSL