TY - BOOK
T1 - Proof and Computation II
T2 - From Proof Theory and Univalent Mathematics to Program Extraction and Verification
AU - Mainzer, Klaus
AU - Schuster, Peter
AU - Schwichtenberg, Helmut
N1 - Publisher Copyright:
© 2022 by World Scientific Publishing Co. Pte. Ltd.
PY - 2021/1/1
Y1 - 2021/1/1
N2 - This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view. Its scope includes proof theory, constructive mathematics and type theory, univalent mathematics and point-free approaches to topology, extraction of certified programs from proofs, automated proofs in the automotive industry, as well as the philosophical and historical background of proof theory. By filling the gap between (under-)graduate level textbooks and advanced research papers, the book gives a scholarly account of recent developments and emerging branches of the aforementioned fields.
AB - This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view. Its scope includes proof theory, constructive mathematics and type theory, univalent mathematics and point-free approaches to topology, extraction of certified programs from proofs, automated proofs in the automotive industry, as well as the philosophical and historical background of proof theory. By filling the gap between (under-)graduate level textbooks and advanced research papers, the book gives a scholarly account of recent developments and emerging branches of the aforementioned fields.
UR - http://www.scopus.com/inward/record.url?scp=85129433159&partnerID=8YFLogxK
U2 - 10.1142/9789811236488
DO - 10.1142/9789811236488
M3 - Book
AN - SCOPUS:85129433159
SN - 9789811236471
BT - Proof and Computation II
PB - World Scientific Publishing Co.
ER -