Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams - きゃ's scrap box

Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams

2018

https://arxiv.org/abs/1804.09822

linear logic lambda calculus #language string diagram