by
Rob Nederpelt, Herman Geuvers
Language: English
Release Date: November 6, 2014
Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the essential...