Mathematics
and Interactions

Thorsten Altenkirch

zbMATH link

• 2 videos
  

  01:17:33

  published on May 19, 2014

  Towards a Syntax for Cubical Type Theory 1/2

  By Thorsten Altenkirch

  

  59:32

  published on May 19, 2014

  Towards a Syntax for Cubical Type Theory 2/2

  By Thorsten Altenkirch