Type Theory and Formal Proof

Author

Nederpelt/Geuvers

Publisher

Cambridge University Press

Subject

Mathematics,Computer Science, Logic, Categories and Sets,Programming Languages and Applied Logic

Year

2014

ISBN

9781139567725