Tony's Wiki
Search
Search
Dark mode
Light mode
Explorer
Home
❯
10 Projects
❯
Recursive Types
❯
Literature
Folder: 10-Projects/Recursive-Types/Literature
1 item under this folder.
May 16, 2026
Leveraging Advanced Coinductive Techniques in Coq for Formalizing "Recursive Subtyping Revealed"
type/project
topic/coinduction
topic/recursive-types
topic/subtyping