Proof and Computation II
Subtitle: From Proof Theory and Univalent Mathematics to Program Extraction and Verification
Publisher: World Scientific Publishing Co Pte Ltd
Published: 2021
Language: eng
ISBN-13: 9789811236471
Subjects: Mathematics