- Tytuł:
- An elementary proff of strong normalization for atomic F
- Autorzy:
- Ferreira, Fernando. Autor
- Współwytwórcy:
- Ferreira, Gilda. Autor
- Data publikacji:
- 2016
- Tematy:
-
Rachunek lambda
Dowodzenie (logika)
Logika matematyczna - Pokaż więcej
- Dostawca treści:
- Academica
Artykuł