Mathématiques
et Interactions

Thomas Powell

Code ORCID : 0000-0002-2541-4678

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

University of Bath

• Une vidéo
  

  58:06

  publiée le 15 mai 2023

  Recursive inequalities in applied proof theory

  De Thomas Powell