In Ludics [7] a proof/program (called design) can be thought of as a black box, to be studied by making it interact with other designs. We explore what can be recognized interactively in this setting, developing two approaches, which we respectively qualify as dynamic and static. The former consists in studying the geometrical properties of the paths induced by the interaction (normalization), much in the style of the Geometry of Interaction. The latter analyzes statically the properties of a design. © Springer-Verlag Berlin Heidelberg 2004.
CITATION STYLE
Faggian, C. (2004). Interactive observability in Ludics. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3142, 506–518. https://doi.org/10.1007/978-3-540-27836-8_44
Mendeley helps you to discover research relevant for your work.