Robuta

https://arxiv.org/abs/cs/0501035 [cs/0501035] Introduction to linear logic and ludics, part I Abstract page for arXiv paper cs/0501035: Introduction to linear logic and ludics, part I introduction to cs linear logic part