Elementary Discrete Sets in Martin-Löf Type Theory

University essay from Algebra och geometri

Author: Mikael Fors; [2012]

Keywords: ;

Abstract:

AT THIS PAGE YOU CAN DOWNLOAD THE WHOLE ESSAY. (follow the link to the next page)