معرفی
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
۰مقاله منتشرشده
