An Operational Semantics of Simply-Typed Lambda Calculus with String Diagramsgolem.ph.utexas.edu3 pointsjesuslop2 years ago