About
Jem Lord is a researcher at the Department of Computer Science and Technology, University of Cambridge, focusing on dependent type theory, its syntax and semantics, and applications in simplifying theoretical/mathematical reasoning via internal logics. His research also spans category theory, categorical logic, topos theory, set theory, and computational complexity (particularly implicit and descriptive complexity).
Contact: jl2462@cam.ac.uk
0Publications listed
Find Jem Lord elsewhere
Related Searches
You Might Also Like
Martin HylandUniversity of Cambridge · Professor- AAndrew PittsUniversity of Cambridge · Professor
Jon SterlingUniversity of Cambridge · Associate Professor
Steve AwodeyCarnegie Mellon University · Professor
Peter JohnstoneUniversity of Cambridge · Professor
Marcelo FioreUniversity of Cambridge · Professor