Salta al contingut principal

Advances in Linear Logic

Advances in Linear Logic

Autor: Girard/Lafont/Regnier
Matèria: Computer Science; Mathematics; Logic; Categories and Sets; Programming Languages and Applied Logic
Editor: Cambridge University Press
Data publicació: 1995
Identificador: 9780511629150
Col·lecció: Computer Science and Information Technology
Accés