Back to matchesWe found a matchYour institution may have access to this item. Find your institution then sign in to continue.TitleAN ELEMENTARY PROOF OF STRONG NORMALIZATION FOR ATOMIC F.AuthorsFerreira, Fernando; Ferreira, GildaAbstractWe give an elementary proof (in the sense that it is formalizable in Peano arith- metic) of the strong normalization of the atomic polymorphic calculus Fat (a predicative restriction of Girard's system F).SubjectsMATHEMATICAL proofs; LAMBDA calculus; ARITHMETIC; MATHEMATICAL logic; SYSTEMS theoryPublicationBulletin of the Section of Logic, 2016, Vol 45, Issue 1, p1ISSN0138-0680Publication typeArticleDOI10.18778/0138-0680.45.1.01