Search
Now showing items 1-2 of 2
Elementary Proof of Strong Normalization for Atomic F
(Wydawnictwo Uniwersytetu Łódzkiego, 2016)
We give an elementary proof (in the sense that it is formalizable in Peano arithmetic) of the strong normalization of the atomic polymorphic calculus Fₐₜ (a predicative restriction of Girard’s system F).
An Elementary Proof of Strong Normalization for Atomic F
(Uniwersytet Łódzki. Katedra Logiki i Metodologii Nauk, 2016)
We give an elementary proof (in the sense that it is formalizable in Peano arithmetic)
of the strong normalization of the atomic polymorphic calculus F_{at} (a
predicative restriction of Girard’s system F).