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

The search session has expired. Please query the service again.

Currently displaying 1 – 2 of 2

Order by Relevance | Title | Year of publication

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).

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

Ferreira, Gilda; Oitavem, Isabel — 2006

Portugaliae Mathematica. Nova Série

Page 1

Download Results (CSV)

Advanced Search

Formula preview

Currently displaying 1 – 2 of 2

Elementary Proof of Strong Normalization for Atomic F

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

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