Mathematical Informatics: Algorithms

Thomas Seiller

This work continues the development of an intensional approach to computability initiated in previous work, in which programs and computations, rather than functions, constitute th…