Similar Items: Information - Modern Theories
- Synthesizer: Synthetic Observables for Modern Astronomy
- Normalisation by Evaluation for Type Theory, in Type Theory
- Model Theory and Proof Theory of Coalgebraic Predicate Logic
- FSML – A Modern Fortran Statistics and Machine Learning Library
- The Formal Theory of Monads, Univalently
- Interpolation in local theory extensions