Interactive theorem proving : 9th International Conference, ITP 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018 : proceedings

Veröffentlicht 2018

Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis

von Affeldt, Reynald
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 2 (2020)