University of Birmingham > Talks@bham > CS 217

CS 217

Add to your list(s) Send you e-mail reminders Further detail
Subscribe using ical/vcal (Help)

Tell a friend about this venue:

1 upcoming talk and 152 talks in the archive.

Lab Lunch

Higher Universal Algebra in Type Theory

UserEric Finster, INRIA, Paris.

HouseCS 217.

ClockThursday 24 January 2019, 12:00-13:00

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.

 

Talks@bham, University of Birmingham. Contact Us | Help and Documentation | Privacy and Publicity.
talks@bham is based on talks.cam from the University of Cambridge.