Ludics without Designs I: Triads
Logic in Computer Science
2015-02-18 v1
Abstract
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.
Cite
@article{arxiv.1502.04773,
title = {Ludics without Designs I: Triads},
author = {Michele Basaldella},
journal= {arXiv preprint arXiv:1502.04773},
year = {2015}
}
Comments
In Proceedings LINEARITY 2014, arXiv:1502.04419