emsenn

Tag: computation

2 items with this tag.

  • Mar 03, 2026

    Curry-Howard Correspondence

    • logic
    • type-theory
    • computation
    • type/index
    • type/concept
  • Mar 03, 2026

    Proof Assistant

    • computation
    • logic
    • type-theory
    • type/index
    • type/concept

Notes written in Obsidian, webpages generated by Quartz, website hosted by Neocities, supported by reader donations.