Steve Awodey

Title Conference Date
Univalence as a New Principle of Logic (Video) The Calgary Mathematics & Philosophy Lectures 2014