- Tytuł:
- On the π-calculus and Co-intuitionistic Logic : Notes on Logic for Concurrency and λP Systems
- Autorzy:
-
Bellin, G.
Menti, A. - Data publikacji:
- 2014
- Słowa kluczowe:
-
calculus
intuitionistic mathematics
encoding
linear systems
mathematical proofs
distributed computing
programming languages - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł