No Photo

Not registered as user

Name:Robert Harper
Affiliation:CWI
Research interests:Type theory, proof theory, and category theory applied to programming language semantics and implementation

Contributions