Type theory and formal proof : an introduction /

"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...

Full description

Bibliographic Details
Main Authors: Nederpelt, R. P. (Rob P.) (Author), Geuvers, Herman, 1964- (Author)
Language:English
Published: Cambridge ; New York : Cambridge University Press, 2014.
Subjects:
Type theory.
COMPUTERS / Programming Languages / General.
Online Access:Cover image

Internet

Cover image

University of Calicut

Holdings details from University of Calicut
Copy Live Status Unavailable

Similar Items