Cover Image
Read Now

1
by Nederpelt, R. P., Geuvers, Herman
Published 2014
Cambridge University Press
“...Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics...”