Gandy machines (2000)

by reserve Background
Venue:In Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic