1 Matching Annotations
  1. Jul 2021
  2. arxiv.org arxiv.org
    ()
    1
    1. Flancian 20 Jul 2021
      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

    Annotators

    URL

    arxiv.org/pdf/0903.0340.pdf