Ludics without Designs I: Triads

Michele Basaldella
(Université d'Aix-Marseille, CNRS, I2M, Marseille, France)

In this paper, we introduce the concept of triad. Using this notion, we study, revisit, discover and rediscover some basic properties of ludics from a very general point of view.

In Sandra Alves and Iliano Cervesato: Proceedings Third International Workshop on Linearity (LINEARITY 2014), Vienna, Austria, 13th July, 2014, Electronic Proceedings in Theoretical Computer Science 176, pp. 49–63.
Published: 16th February 2015.

ArXived at: https://dx.doi.org/10.4204/EPTCS.176.5 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org