- Tytuł:
- A categorical model of predicate linear logic
- Autorzy:
-
Demeterová, E.
Mihályi, D.
Novitzká, V. - Data publikacji:
- 2015
- Słowa kluczowe:
-
linear type theory
predicate linear logic
symmetric monoidal closed category - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł