Ludics without Designs I: Triads
arXiv:1502.04773 · doi:10.4204/EPTCS.176.5
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.
arXiv commentIn Proceedings LINEARITY 2014, arXiv:1502.04419