Similar Items: An estimation for the lengths of reduction sequences of the $lambdamurhotheta$-calculus
- A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications
- Motor Length Reduction of Outer Rotor Type SPM Motor by Magnet Overhang Structure With 3-D Flux Recovery
- The Safe Lambda Calculus
- Completeness of the ZX-Calculus
- The Many-Worlds Calculus
- Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence