- Tytuł:
- Strong Normalization of a Typed Lambda Calculus for Intuitionistic Bounded Linear-time Temporal Logic
- Autorzy:
- Kamide, Norihiro
- Data publikacji:
- 2012
- Wydawca:
- Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
- Dostawca treści:
- Biblioteka Nauki
Artykuł