Number Theoretic Functions Computable by Polymorphic Programs (Extended Abstract)

Richard Statman

Browse the full FOCS paper archive.