Meven Lennon- Bertrand

Meven Lennon- Bertrand

Research Associate, University of Cambridge
E-mail confirmado em cam.ac.uk
Citado por 123
Dependent type theory Proof assistants Bidirectional Typing