Advanced Search

Match of the following rules

Add Sub-clause

Add Another Rule

Contains the following math formula (red border means the formula is incomplete)

Formula preview

Currently displaying 1 – 2 of 2

Order by Relevance | Title | Year of publication

An interpretation of $S_{2}^{1}$ in $Σ_{1}^{b}$ -NIA.

Ferreira, Gilda; Oitavem, Isabel — 2006

Portugaliae Mathematica. Nova Série

Elementary Proof of Strong Normalization for Atomic F

Fernando Ferreira; Gilda Ferreira — 2016

Bulletin of the Section of Logic

We give an elementary proof (in the sense that it is formalizable in Peano arithmetic) of the strong normalization of the atomic polymorphic calculus Fat (a predicative restriction of Girard’s system F).

Page 1

Download Results (CSV)

Advanced Search

Formula preview

Currently displaying 1 – 2 of 2

An interpretation of S 2 1 in Σ 1 b -NIA.

Elementary Proof of Strong Normalization for Atomic F

An interpretation of $S_{2}^{1}$ in $Σ_{1}^{b}$ -NIA.