Tony's Wiki

Home

❯

10 Projects

❯

BCD subtyping

Folder: 10-Projects/BCD-subtyping

14 items under this folder.

  • Sep 16, 2025

    Formalization progress of controlled subtyping in Coq

    • type/moc
    • topic/distributivity
    • context/hkuplg
    • status/ongoing
  • Sep 07, 2025

    A fix to Jsub-mu rule

    • Sep 07, 2025

      A note on Jsub-mu rule

      • Sep 07, 2025

        Alternative translate subtyping

        • Sep 07, 2025

          Compute the Intermediate Type v.2

          • Sep 07, 2025

            Compute the Intermediate Type

            • Sep 07, 2025

              Direct Splitting on Source Types

              • Sep 07, 2025

                Distributivity Subtyping

                • Sep 07, 2025

                  Full Splitting

                  • Sep 07, 2025

                    Inductively find the middle type (cont.)

                    • idea
                  • Sep 07, 2025

                    Inductively find the middle type

                    • Sep 07, 2025

                      Intermediate Type from Left

                      • Sep 07, 2025

                        One algorithm on the source type to try

                        • Sep 07, 2025

                          Some careful thoughts on splitting RHS

                          • todo

                        Created with Quartz v4.5.2 © 2026

                        • GitHub
                        • Discord Community