Andrew M. Pitts

Emeritus Professor · Department of Computer Science and Technology

University of Cambridge · United Kingdom

Programming language semanticsCategory theoryMathematical logicType theoryTheorem provingNames and binding

简介

Emeritus Professor at the University of Cambridge. Research uses category theory, mathematical logic, and type theory to advance foundations of programming language semantics and theorem proving systems. Interested in semantics and logic of names, locality, binding, higher-order typed languages, and dependently typed logics.

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。