A Computational Definition of the Notion of Vectorial Space

Pablo Arrighi, Gilles Dowek. A Computational Definition of the Notion of Vectorial Space. Electronic Notes in Theoretical Computer Science, 117:249-261, 2005. [doi]

Abstract

Abstract is missing.