- Tytuł:
- A Term Assignment for Polarized Bi-intuitionistic Logic and its Strong Normalization
- Autorzy:
-
Biasi, C.
Aschieri, F. - Data publikacji:
- 2008
- Słowa kluczowe:
-
subtractive logic
bi-intuitionistic logic
intuitionistic logic for pragmatics
lambda calculus
strong normalization - Pokaż więcej
- Dostawca treści:
- BazTech