https://resources.illc.uva.nl/LogicList/newsitem.php?id=8898
CCC 2018: Continuity, Computability, Constructivity, 24-28 Sep 2018, Faro, Portugal
ccccontinuitycomputabilitysepfaro
https://uwspace.uwaterloo.ca/items/f832a6b7-075f-4f3d-a2ba-3f87b03f824b
Non-Constructivity in Security Proofs
In the field of cryptography, one generally obtains assurances for the security of a cryptographic protocol by giving a reductionist security proof, which is...
in securitynonproofs
https://books.google.at/books?id=sr3wCAAAQBAJ&printsec=frontcover&hl=de&source=gbs_atb
The Foundational Debate: Complexity and Constructivity in Mathematics and ... - Google Books
Constructibility and complexity play central roles in recent research in computer science, mathematics and physics. For example, scientists are investigating...
foundationaldebatecomplexitymathematicsgoogle
https://books.google.at/books?id=ZevbdM1yU5cC&hl=de&source=gbs_book_other_versions_r&cad=3
The Foundational Debate: Complexity and Constructivity in Mathematics and ... - Google Books
Constructibility and complexity play central roles in recent research in computer science, mathematics and physics. For example, scientists are investigating...
foundationaldebatecomplexitymathematicsgoogle
https://udspace.udel.edu/items/0975653a-de5a-4a7a-9707-3f24a5fc65d5
Topics in computability, complexity, constructivity & provability
topicscomputabilitycomplexityprovability
https://books.google.at/books?id=svEZswEACAAJ&hl=de&source=gbs_book_other_versions_r&cad=3
The Foundational Debate: Complexity and Constructivity in Mathematics and ... - Google Books
Constructibility and complexity play central roles in recent research in computer science, mathematics and physics. For example, scientists are investigating...
foundationaldebatecomplexitymathematicsgoogle