- Tytuł:
- Elementary Proof of Strong Normalization for Atomic F
- Autorzy:
-
Ferreira, Fernando
Ferreira, Gilda - Data publikacji:
- 2016
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
Predicative polymorphism
strong normalization
elementary proofs
lambda-calculus - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki
Artykuł