K. Mainzer, P. Schuster, H. Schwichtenberg (Eds.):
Proof and Computation II. From Proof Theory and Univalent Mathematics to Program Extraction and Verification
World Scientific Singapore 2021
Abstract: This book is for graduate students and researchers, introducing modern foundational research in…
[weiterlesen]