Similar Items: A correspondence between rooted planar maps and normal planar lambda terms
- Normalization for planar string diagrams and a quadratic equivalence algorithm
- Bounded degree and planar spectra
- Point-Separable Classes of Simple Computable Planar Curves
- Upward-Planar Drawings with Bounded Span
- Asymptotically almost all lambda-terms are strongly normalizing
- Planar-Toroidal Decomposition of $K_{12}$