Tony's Wiki
Search
Search
Dark mode
Light mode
Explorer
Home
❯
10 Projects
❯
Recursive Types
❯
HyloSub
❯
Proof Attempts
Folder: 10-Projects/Recursive-Types/HyloSub/Proof-Attempts
1 item under this folder.
Apr 21, 2026
Nominal Inversion in Weakly Positive Subtyping with Intersection Types
context/hkuplg
topic/recursive-types
type/research-note