Mathematics
and Interactions

Steve Awodey

zbMATH link

Code ISNI : 0000 0001 0939 2408

Carnegie Mellon University
US

• One video
  

  56:01

  published on September 28, 2017

  Type theories and polynomial monads

  By Steve Awodey