Mathematics
and Interactions

Thomas Powell

Code ORCID : 0000-0002-2541-4678

https://t-powell.github.io/

University of Bath

• One video
  

  58:06

  published on May 15, 2023

  Recursive inequalities in applied proof theory

  By Thomas Powell