Tony's Wiki
Search
Search
Dark mode
Light mode
Explorer
Home
❯
20 Reference
❯
Knowledge
❯
Concepts
Folder: 20-Reference/Knowledge/Concepts
11 items under this folder.
Jun 05, 2026
Deep Target Splitting
type/concept
context/research
project/iso-types
Jun 05, 2026
Distributivity Subtyping Laws (dist-arrow, dist-mu)
type/concept
context/research
project/iso-types
Jun 05, 2026
Double-Vision Recursive Modules
type/concept
context/research
project/modrec
Jun 05, 2026
Incompleteness of the Algorithmic μ-Rule
type/concept
context/research
project/iso-types
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
Size-Stratified Mutual Transitivity
type/concept
context/research
project/iso-types
Jun 05, 2026
Source-to-Source Encoding Correctness (double vision)
type/concept
context/research
project/modrec
Jun 05, 2026
Split-Cover and Polarity Certificates (CLIMB / RIGID)
type/concept
context/research
project/iso-types
Jun 05, 2026
Weakly Positive Subtyping (wp)
type/concept
context/research
project/iso-types
Jun 05, 2026
wp Transitivity via Cover Routing (v3 → v4 → Option C)
type/concept
context/research
project/iso-types