Ludics without Designs I: Triads
Author: Michele Basaldella
Paper Information
| Title: | Ludics without Designs I: Triads |
| Authors: | Michele Basaldella |
| Proceedings: | Linearity 2014 Informal Proceedings |
| Editors: | Sandra Alves and Iliano Cervesato |
| Keywords: | Ludics, Proof-Theory, Closed Sets, Orthogonality |
| Abstract: | ABSTRACT. In this paper, we introduce the notion of structure. Using the notion of structure, we study, revisit, discover and rediscover some basic properties of ludics from a very general point of view. |
| Pages: | 8 |
| Talk: | Jul 13 16:30 |
| Paper: |  |