University of Cambridge
/
Mathematics
/
DPMMS
Martin Hyland
Research Interests:
Mathematical Logic, Category Theory, Theoretical Computer Science
Contact Details:
Address: CMS, Wilberforce Road, Cambridge, CB3 0WB
Telephone: (Dept) + 44 1223 337986
Telephone: (College) + 44 1223 337986
Email:
j.m.e.hyland@dpmms.cam.ac.uk
Teaching:
list of lectures
list of anything else
Publications:
Maths for Dummies
pdf file
More stuff
Unpublished Stuff:
Definitive Guide to Mathematical Logic
pdf file
Stuff to download
More stuff
