Computability theory of and with scheme
Massachusetts Institute of Technology