String Diagrams for λ-calculi and Functional Computation
2023
https://arxiv.org/abs/2305.18945
string diagram
lambda calculus
hierarchical
/icons/hr.icon
description
Hierarchical String Diagramとか言ってる．