Gandy machines (2000)

by A Blass, Gurevich Y Background, reserve
Venue:In: Proc. of the 14th Annual Conference of the EACSL on Computer Science Logic