Tony's Wiki
Search
Search
Dark mode
Light mode
Explorer
Home
❯
40 Archive
❯
EPIT
Folder: 40-Archive/EPIT
10 items under this folder.
Sep 07, 2025
Basics of Category Theory
Sep 07, 2025
mu-calculus and Proof Theory
Sep 07, 2025
A Categorical Approach to Automata Learning and Minimization
context/epit
type/lecture-note
topic/automata
topic/category-theory
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
Expressiveness of cyclic proofs
context/epit
type/lecture-note
topic/automata
topic/proof-theory
idea
important
question
Sep 07, 2025
Higher-order languages and parity automata
context/epit
type/lecture-note
topic/automata
topic/category-theory
topic/game-semantics
Sep 07, 2025
Semantics of recursive types and logic with fixpoints
context/epit
type/lecture-note
topic/category-theory
topic/recursive-types
Sep 07, 2025
Software Verification in muCLP
context/epit
type/lecture-note
topic/recursive-types
question
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
Take home
context/epit
type/lecture-note
topic/category-theory
topic/recursive-types