Hypothesis

1 Matching Annotations

Jul 2021
arxiv.org arxiv.org

()

1
1. Flancian 20 Jul 2021
  
  in Public
  
  Curry–Howardcorrespondence
  
  [[curry howard correspondence]] -> proofs are programs -> logic ~ computation
  
  https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence
  
  curry howard correspondence
Visit annotations in context

Tags

curry howard correspondence

Annotators

Flancian

URL

arxiv.org/pdf/0903.0340.pdf