论文信息 - Notes on Linear Typing for Free Output - 字舞流文

Notes on Linear Typing for Free Output

Kohei Honda | Kohei Honda

[1] Sequentiality and the pi-Calculus , 2001, TLCA.

[2] Strong Normalisation in the π-Cal ulus , 2001 .