Eiju Hirowatari Setsuo Arikawa Inferability of Recursive Real-Valued Functions. 18-31 1997 conf/alt/1997 ALT db/conf/alt/alt1997.html#HirowatariA97