Tony's Wiki
Search
Search
Dark mode
Light mode
Explorer
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