A Modern Perspective on Type Theory
The first part of the book is historical, yet at the same time, places historical systems (like Russell's RTT) in the modern ...
Lire la suite
Adapting Proofs-as-Programs
This book nuds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing ...
Lire la suite
Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
This book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...
Lire la suite
Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
This book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...
Lire la suiteFoundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
This book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...
Lire la suite
Labyrinth of Thought
Labyrinth of Thought discusses the emergence and development of set theory and the set-theoretic approach to mathematics ...
Lire la suite
Mathematics of Program Construction : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, ...
Lire la suite
One Hundred Years of Intuitionism (1907-2007) : The Cerisy Conference
With logicism and formalism, intuitionism is one of the main foundations for mathematics proposed in the twentieth century; ...
Lire la suite
Paul Lorenzen -- Mathematician and Logician
This book examines the many contributions of Paul Lorenzen, an outstanding philosopher from the latter half of the 20th ...
Lire la suite
