Andrew M Pitts

Andrew M. Pitts is Professor of Theoretical Computer Science at the University of Cambridge.