3 ms·What are we thinking when we present a type theory? – Peter LeFanu Lumsdaine2 points by matt_d 6y ago