Tony's Wiki

Home

❯

10 Projects

Folder: 10-Projects

8 items under this folder.

  • Jun 06, 2026

    Recursive Types

    • Apr 22, 2026

      Seminar Notes

      • Dec 11, 2025

        Recursive Modules

        • Sep 29, 2025

          Meeting Notes

          • Sep 10, 2025

            French Learning Plan

            • type/project
          • 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

            Problem Session - Tower coinduction in Rocq

            • type/project
            • topic/coinduction
            • topic/subtyping
          • Sep 07, 2025

            The generalized unfolding lemma

            • type/project
            • topic/subtyping

          Created with Quartz v4.5.2 © 2026

          • GitHub
          • Discord Community