- Tytuł:
- Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity
- Autorzy:
- Buszkowski, Wojciech
- Data publikacji:
- 2017
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
nonassociative Lambek calculus
linear logic
sequent system
cut elimination
PTIME complexity - Dostawca treści:
- Biblioteka Nauki
Artykuł