PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2016 | 45 | 1 |
Tytuł artykułu

Elementary Proof of Strong Normalization for Atomic F

Treść / Zawartość
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
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).
Rocznik
Tom
45
Numer
1
Opis fizyczny
Daty
wydano
2016-03-30
Twórcy
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.ojs-doi-10_18778_0138-0680_45_1_01
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.