Mr Felix Bradley
Mr Felix Bradley
Postgraduate research student
Supervised by
Zhaohui Luo First/primary/lead supervisor
1/10/21 → …
Subtype Universes in a Flat Type Theory
Project: Research
Integers and Sorting Algorithms in Coq
Project: Research
ID: 43226718