Reynald Affeldt, Cyril Cohen. Measure Construction by Extension in Dependent Type Theory with Application to Integration. Journal of Automated Reasoning, 67(3):28, September 2023. [doi]
No references recorded for this publication.
No citations of this publication recorded.