Type Theory and Formal Proof : An Introduction
Rob (Technische Universiteit Eindhoven, The Netherlands) Nederpelt
Out of stock
Format: Book (Hardback)
Type Theory and Formal Proof : An Introduction
Rob (Technische Universiteit Eindhoven, The Netherlands) Nederpelt
Download - Immediately Available
Format: eBook (PDF)