Parallel computable higher type functionals (Extended Abstract)

Peter Clote, Aleksandar Ignjatovic, Bruce M. Kapron

Browse the full FOCS paper archive.