Complexité d'ordre supérieur et analyse récursive. (Higher order complexity and computable analysis)

Hugo Férée. Complexité d'ordre supérieur et analyse récursive. (Higher order complexity and computable analysis). PhD thesis, University of Lorraine, Nancy, France, 2014. [doi]

Abstract

Abstract is missing.