Online Math Logic Seminar
Jaap van Oosten, Utrecht University, Netherlands
Event Details
Date
Tuesday, November 17, 2020
Time
3 p.m.
Description
Partial combinatory algebras: Variations on a topos-theoretic theme
Cost
Free
Contact