Salta al contingut principal

Semantics and Logics of Computation

Semantics and Logics of Computation

Autor: Pitts/Dybjer
Matèria: Computer Science; Programming Languages and Applied Logic
Editor: Cambridge University Press
Data publicació: 1997
Identificador: 9780511526619
Col·lecció: Computer Science and Information Technology
Accés