Tag: think

Sep 07, 2025

• context/epit
• type/lecture-note
• topic/automata
• topic/category-theory
• topic/coinduction
• topic/subtyping
• idea
• todo
• think

Sep 07, 2025

• context/epit
• type/lecture-note
• topic/automata
• topic/coinduction
• topic/game-semantics
• topic/proof-theory
• topic/recursive-types
• think