Tony's Wiki
Search
Search
Dark mode
Light mode
Explorer
Home
❯
HKUPLG
Folder: HKUPLG
8 items under this folder.
Aug 19, 2025
Meeting Notes
Aug 19, 2025
BCD subtyping
Aug 19, 2025
Encoding
Aug 19, 2025
Seminar Notes
Aug 19, 2025
Exploratory Directions in Bisimulation - Pre-evaluating Future Applications
Aug 19, 2025
Leveraging Advanced Coinductive Techniques in Coq for Formalizing "Recursive Subtyping Revealed"
Aug 19, 2025
Problem Session - Tower coinduction in Rocq
Aug 19, 2025
The generalized unfolding lemma