Linear Logic in Computer Science
- Autor
- Ehrhard/Girard/Ruet/Scott
- Matèria
-
- Computer Science
-
- Mathematics
-
- Algorithmics
-
- Complexity
-
- Computer Algebra
-
- Computational Geometry
-
- Logic
-
- Categories and Sets
- Editor
- Cambridge University Press
- Data publicació
- 2004
- Identificador
- 9780511550850
- Col·lecció
- Accés https://doi.org/10.1017/CBO9780511550850