On Building Constructive Formal Theories of Computation Noting the Roles of Turing, Church, and Brouwer (Q2986777)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On Building Constructive Formal Theories of Computation Noting the Roles of Turing, Church, and Brouwer |
scientific article |
Statements
On Building Constructive Formal Theories of Computation Noting the Roles of Turing, Church, and Brouwer (English)
0 references
16 May 2017
0 references
attack-tolerance
0 references
automated reasoning
0 references
Coq
0 references
completeness
0 references
FLP theorem
0 references
intuitionistic logic
0 references
logic of events
0 references
Nuprl
0 references
proof assistants
0 references
propositions-as-types
0 references
protocol synthesis
0 references
