Substitution Algorithm inSubstitution Algorithm inType Theoryin type theory.Exploring a core substitution algorithmLogic in Computer ScienceSimplifying Substitutions in Multimode Type TheoryAn overview of a substitution algorithm in Multimode Type Theory.2025-07-26T17:11:18+00:00 ― 5 min read