1. Home
  2. Science
  3. Mathematics
  4. David MacKay

Science · Mathematics

David MacKay

Listed in the directory · updated 23 Jul 2022

Visit website

Find them on

Share

About David MacKay

David MacKay- University of Cambridge.

Tags

Martin-Löf's Type Theory

Where it sits

Science Mathematics

More in Mathematics

See all →