Browsing by Author "Vasconcelos, Vasco T"
Now showing 1 - 1 of 1
Results Per Page
Sort Options
- The computational content of atomic polymorphismPublication . Ferreira, Gilda; Vasconcelos, Vasco TWe show that the number-theoretic functions de nable in the atomic polymorphic system (Fat) are exactly the extended polynomials. Two proofs of the above result are presented: one reducing the functions' de n- ability problem in Fat to de nability in the simply typed lambda-calculus and other directly adapting Helmut Schwichtenberg's strategy for de nability in the simply typed lambda-calculus to the atomic polymorphic setting. The uniformity granted in the polymorphic system, when compared with the simply typed lambda-calculus, is emphasized.