Intrinsic computability over algebraic structures

by Pablo Arrighi , Gilles Dowek