Salta al contingut principal

Type Theory and Formal Proof

Type Theory and Formal Proof

Autor: Nederpelt/Geuvers
Matèria: Computer Science; Mathematics; Logic; Categories and Sets; Programming Languages and Applied Logic
Editor: Cambridge University Press
Data publicació: 2014
Identificador: 9781139567725
Col·lecció: Computer Science and Information Technology
Accés