- Tytuł:
- Elementary Proof of Strong Normalization for Atomic F
- Autorzy:
-
Ferreira, Fernando
Ferreira, Gilda - Powiązania:
- https://bibliotekanauki.pl/articles/749972.pdf
- Data publikacji:
- 2016
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
Predicative polymorphism
strong normalization
elementary proofs
lambda-calculus - Opis:
- 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).
- Źródło:
-
Bulletin of the Section of Logic; 2016, 45, 1
0138-0680
2449-836X - Pojawia się w:
- Bulletin of the Section of Logic
- Dostawca treści:
- Biblioteka Nauki
Artykuł