Recursive Programs as Functions in a First Order Theory. AI Memo AIM-324 (1979)

by J McCarthy, R Cartwright