Proofs are Programs

Scientific Concept Filter Key Concept topics

Share This
table started by warren for the Proofs are Programs Base
There is no user-contributed description yet.
Add description
 
x name x image
+

Do you know something that's missing from this view? Add it!

to appear in this view, this should be correct: This topic does not match the filters so may not appear in this view.
If you have a list you can use our wizard to match it with topics that may already be in Freebase.
Go to the import tool »
x Type inference  
x Russell's paradox Russell1907-2
x Symbolic logic  
x Curry–Howard correspondence Coq plus comm screenshot
x Intuitionistic type theory  
x Lambda calculus  
x Typed lambda calculus  
x Type polymorphism  
x Subformula property  
x Sequent calculus Excluded middle proof
x Natural deduction logic  
x Combinatory logic  
x Peirce's law  
Showing 1 - 13 prev next
Edit Collection Schema
All topics in this collection are typed as Key Concept
Use Data from this Collection
Choose a format:

Images and articles are not included in export files, which are limited to 1000 items. Complete data dumps are also available here.

Flag this Collection
Why do you want to flag this collection?