University of Cambridge > Talks.cam >  FW09 - William Gates Building

If you have a question about this list, please contact: . If you have a question about a specific talk, click on that talk to find its organiser.

0 upcoming talks and 3 talks in the archive.

Logic & Semantics for Dummies

The encode-decode method for equality types

UserAlex Rice (University of Cambridge).

House FW09 - William Gates Building.

ClockThursday 03 March 2022, 11:00-12:00

Please see above for contact details for this list.

 

© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity