Type Theories andType Theories andContinuityfor better programming.Linking type theories with continuityLogic in Computer ScienceContinuity Principles in Type TheoriesExploring the link between continuity and type theories in programming.2025-10-15T17:06:54+00:00 ― 7 min read