Tony's Wiki

Home

❯

EPIT

Folder: EPIT

10 items under this folder.

  • Jun 04, 2025

    Basics of Category Theory

    • Jun 04, 2025

      mu-calculus and Proof Theory

      • Jun 04, 2025

        A Categorical Approach to Automata Learning and Minimization

        • Jun 04, 2025

          Automata on infinite structures

          • revisit
          • check
        • Jun 04, 2025

          Expressiveness of cyclic proofs

          • idea
          • important
          • question
        • Jun 04, 2025

          Higher-order languages and parity automata

          • Jun 04, 2025

            Semantics of recursive types and logic with fixpoints

            • Jun 04, 2025

              Software Verification in muCLP

              • question
            • Jun 04, 2025

              Summary

              • think
            • Jun 04, 2025

              Take home


              Created with Quartz v4.5.0 © 2025

              • GitHub
              • Discord Community