Andrew M Pitts

Andrew M Pitts

Emeritus Professor of Theoretical Computer Science, University of Cambridge
Verified email at cl.cam.ac.uk
Cited by 7906
type theory category theory nominal techniques programming language semantics logic in computer