« Full list of events

  • This event has passed.

Conceptual Engineering Seminar: Talk by N. Jones on “Unrestricted Quantification and the Structure of Type Theory”.

4th December 2017 @ 10:00 am - 12:00 pm

Event Navigation

Details

Date:
4th December 2017
Time:
10:00 am - 12:00 pm