Tony's Wiki

Tag: project/modrec

7 items with this tag.

  • Jun 05, 2026

    Double-Vision Recursive Modules

    • type/concept
    • context/research
    • project/modrec
  • Jun 05, 2026

    Locator-Anchored Signatures

    • type/concept
    • context/research
    • project/modrec
  • Jun 05, 2026

    Partial Recursive Signatures

    • type/concept
    • context/research
    • project/modrec
  • Jun 05, 2026

    Source-to-Source Encoding Correctness (double vision)

    • type/concept
    • context/research
    • project/modrec
  • Jun 05, 2026

    Applicative vs generative encoding — is the () barrier the only difference?

    • type/question
    • context/research
    • project/modrec
  • Jun 05, 2026

    Better decidability — higher-kinded witnesses never compared by equivalence?

    • type/question
    • context/research
    • project/modrec
  • Jun 05, 2026

    iff/equivalence vs preservation+reflection for encoding correctness?

    • type/question
    • context/research
    • project/modrec

Created with Quartz v4.5.2 © 2026

  • GitHub
  • Discord Community