Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams
2018
LICS2018
https://arxiv.org/abs/1804.09822
linear logic lambda calculus #language string diagram
Polemy
description
レイヤなる概念を用いて，いろんな概念を統合，というかsemanticsとして一般化している．
ex) call by valueで得られる値，call by lazyneedで得られる値，型，メタプログラミング