Mathematics
and Interactions

MSC > 03Fxx Proof theory and constructive mathematics > 03F35 Second- and higher-order arithmetic and fragments

• Videos linked to 03F35 Second- and higher-order arithmetic and fragments
  

  56:01

  published on September 28, 2017

  Type theories and polynomial monads

  By Steve Awodey

  More +