Similar Items: RydIQule Version 2: Enhancing graph-based modeling of Rydberg atoms
- The Agda standard library: version 2.0
- On the Succinctness of Atoms of Dependency
- Time2Graph: Dual Embedding and Nested-Graph Transformation for Performance Enhancement in Time Series Classification
- Scalar and Vectorial mu-calculus with Atoms
- Typability and Type Inference in Atomic Polymorphism
- An intensionally fully-abstract sheaf model for $pi$ (expanded version)