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.

0 upcoming talks and 7 talks in the archive.

SANDWICH Seminar (Computer Laboratory)

Computing inverses in higher categories

UserThibaut Benjamin, University of Cambridge.

HouseFS07, Computer Laboratory.

ClockMonday 30 October 2023, 13:00-14:00

SANDWICH Seminar (Computer Laboratory)

Type theoretic approaches to semistrictness

UserAlex Rice (University of Cambridge).

HouseFS07, Computer Laboratory.

ClockMonday 23 October 2023, 13:00-14:00

SANDWICH Seminar (Computer Laboratory)

Higher-Order Algebraic Effects and Handlers

UserZhixuan Yang, Imperial College London.

HouseFS07, Computer Laboratory.

ClockMonday 16 October 2023, 13:00-14:00

SANDWICH Seminar (Computer Laboratory)

Definitional Functoriality for Dependent (Sub)Types

UserDr Meven Lennon-Bertrand (University of Cambridge).

HouseFS07, Computer Laboratory.

ClockMonday 02 October 2023, 13:00-14:00

SANDWICH Seminar (Computer Laboratory)

Polymorphic Subtyping with Polarisation: ∀ ± ∃

UserIlya Kaysin, University of Cambridge.

HouseFS07, Computer Laboratory.

ClockMonday 25 September 2023, 13:00-14: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