Elementary Discrete Sets in Martin-Löf Type Theory

University essay from Uppsala universitet/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)