Epistemology of Computer Proof from the Point of View of Type-Theoretical Approach to the Foundations of Mathematics

Projeto: Award Project

Resultados da pesquisa