University of Cambridge > Talks.cam > FS07, Computer Laboratory

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.

2 upcoming talks and 25 talks in the archive.

SANDWICH Seminar (Computer Laboratory)

Heyting Algebras and Higher-Order Logic

UserProf. Andrew M Pitts (University of Cambridge).

HouseFS07, Computer Laboratory.

ClockMonday 19 May 2025, 13:00-14:00

Please see above for contact details for this list.

 

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