- Tytuł:
- A categorical model of predicate linear logic
- Autorzy:
-
Demeterová, E.
Mihályi, D.
Novitzká, V. - Data publikacji:
- 2015
- Wydawca:
- Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
- Tematy:
-
linear type theory
predicate linear logic
symmetric monoidal closed category - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki