Related Books
Language: en
Pages: 425
Pages: 425
Type: BOOK - Published: 2021-07-27 - Publisher: World Scientific
This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisci
Language: en
Pages: 221
Pages: 221
Type: BOOK - Published: 2023-05-12 - Publisher: World Scientific
Calculi of temporal logic are widely used in modern computer science. The temporal organization of information flows in the different architectures of laptops,
Language: en
Pages: 484
Pages: 484
Type: BOOK - Published: - Publisher: Univalent Foundations
Language: en
Pages: 300
Pages: 300
Type: BOOK - Published: 2018-05-30 - Publisher: World Scientific
This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisci
Language: en
Pages: 539
Pages: 539
Type: BOOK - Published: 2020-07-03 - Publisher:
This course provides a first introduction to the Curry-Howard correspondence between programs and proofs, from a theoretical programmer's perspective: we want t