Related Books

Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
Language: en
Pages: 425
Authors: Klaus Mainzer
Categories: Mathematics
Type: BOOK - Published: 2021-07-27 - Publisher: World Scientific

GET EBOOK

This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisci
Temporal Logic: From Philosophy And Proof Theory To Artificial Intelligence And Quantum Computing
Language: en
Pages: 221
Authors: Klaus Mainzer
Categories: Mathematics
Type: BOOK - Published: 2023-05-12 - Publisher: World Scientific

GET EBOOK

Calculi of temporal logic are widely used in modern computer science. The temporal organization of information flows in the different architectures of laptops,
Homotopy Type Theory: Univalent Foundations of Mathematics
Language: en
Pages: 484
Authors:
Categories:
Type: BOOK - Published: - Publisher: Univalent Foundations

GET EBOOK

Proof And Computation: Digitization In Mathematics, Computer Science And Philosophy
Language: en
Pages: 300
Authors: Klaus Mainzer
Categories: Mathematics
Type: BOOK - Published: 2018-05-30 - Publisher: World Scientific

GET EBOOK

This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisci
Program = Proof
Language: en
Pages: 539
Authors: Samuel Mimram
Categories:
Type: BOOK - Published: 2020-07-03 - Publisher:

GET EBOOK

This course provides a first introduction to the Curry-Howard correspondence between programs and proofs, from a theoretical programmer's perspective: we want t