Cognitive motivations for treating formalisms as calculi
Listen now
More Episodes
Published 04/22/19
Steve Awodey (CMU/MCMP) gives a talk at the MCMP Workshop on Modality titled "Modality and Categories".
Published 04/22/19