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

Fuld beskrivelse

Bibliografiske detaljer
Main Authors: Nederpelt, R. P. (Rob P.) (Author), Geuvers, Herman, 1964- (Author)
Sprog:English
Udgivet: Cambridge ; New York : Cambridge University Press, 2014.
Fag:
Type theory.
COMPUTERS / Programming Languages / General.
Online adgang:Cover image

Internet

Cover image

University of Calicut

Detaljer om beholdninger fra University of Calicut
Kopi Live Status Unavailable

Lignende værker