Similar Items: A unifying framework for continuity and complexity in higher types
- A Unified Analytical Framework for Classical DC–DC Converters in Continuous Conduction Mode With PWM-Switch Modeling
- Unifying cubical and multimodal type theory
- Stochastic Interpolants: A Unifying Framework for Flows and Diffusions
- DCatalyst: A Unified Accelerated Framework for Decentralized Optimization
- Exhaustible sets in higher-type computation
- Semi-continuous Sized Types and Termination