问题及解答

http://www.cs.cmu.edu/~rwh/

Carnegie Mellon University

Research Interests

Type theory, proof theory, and category theory applied to programming language semantics and implementation.