Tony's Wiki
Search
Search
Dark mode
Light mode
Explorer
Tag: topic/coinduction
7 items with this tag.
Sep 07, 2025
Exploratory Directions in Bisimulation - Pre-evaluating Future Applications
type/project
topic/automata
topic/category-theory
topic/coinduction
topic/recursive-types
topic/subtyping
Sep 07, 2025
Leveraging Advanced Coinductive Techniques in Coq for Formalizing "Recursive Subtyping Revealed"
type/project
topic/coinduction
topic/recursive-types
topic/subtyping
Sep 07, 2025
Problem Session - Tower coinduction in Rocq
type/project
topic/coinduction
topic/subtyping
Sep 07, 2025
Automata on infinite structures
context/epit
type/lecture-note
topic/automata
topic/coinduction
topic/game-semantics
topic/proof-theory
topic/recursive-types
revisit
check
Sep 07, 2025
May 19 Notes
context/epit
type/lecture-note
topic/automata
topic/category-theory
topic/coinduction
topic/subtyping
idea
todo
think
Sep 07, 2025
Summary
context/epit
type/lecture-note
topic/automata
topic/coinduction
topic/game-semantics
topic/proof-theory
topic/recursive-types
think
Sep 07, 2025
May 19 Notes
context/epit
type/lecture-note
topic/automata
topic/coinduction
topic/game-semantics
topic/proof-theory
topic/recursive-types
exercise
check