Parallel computable higher type functionals (Extended Abstract) Peter Clote Aleksandar Ignjatovic Bruce M. Kapron 72-81 conf/focs/FOCS34 1993 FOCS db/conf/focs/focs93.html#CloteIK93