Tony's Wiki
Search
Search
Dark mode
Light mode
Explorer
Home
❯
20 Reference
❯
Knowledge
❯
Questions
Folder: 20-Reference/Knowledge/Questions
7 items under this folder.
Jun 05, 2026
A-posteriori soundness condition for deep splitting
type/question
context/research
project/iso-types
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
Does the cover CLIMB/RIGID wall imply algorithmic incompleteness?
type/question
context/research
project/iso-types
Jun 05, 2026
Global ≡ premise under a CLIMB cov_BC entry
type/question
context/research
project/iso-types
Jun 05, 2026
How deep must target splitting go?
type/question
context/research
project/iso-types
Jun 05, 2026
iff/equivalence vs preservation+reflection for encoding correctness?
type/question
context/research
project/modrec