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

A note on a result of Buss concerning bounded theories and the collection scheme.

Ferreira, Fernando — 1995

Portugaliae Mathematica

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)