Event Categories: BSPS Choice Group Conjectures and Refutations Popper Seminar Sigma Club
![Loading Events](https://www.lse.ac.uk/philosophy/wp-content/plugins/the-events-calendar/src/resources/images/tribe-loading.gif)
- This event has passed.
David Corfield (Kent): “Homotopy Type Theory; a revolutionary language for philosophy of logic; mathematics; and physics?”
25 November 2013, 5:15 pm
Event Navigation
Monday 25th November; 17:15pm
BSPS
Speaker: David Corfield (Kent)
Title: Homotopy Type Theory; a revolutionary language for philosophy of logic; mathematics; and physics?