Skip to main content
SpringerLink
Log in

Interactive Observability in Ludics

  • Conference paper
Book cover Automata, Languages and Programming (ICALP 2004)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 3142))

Included in the following conference series:

  • 1250 Accesses

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 189.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 239.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Curien, P.-L.: Abstract Böhm trees. Mathematical Structures in Computer Science 8(6) (1998)

    Google Scholar 

  2. Danos, V., Regnier, L.: Proof-nets and the Hilbert space. In: Girard, J.-Y., Lafont, Y. (eds.) Advances in Linear Logic. London Mathematical Society Lecture Notes Series, vol. 222, Cambridge University Press, Cambridge (1995)

    Google Scholar 

  3. Faggian, C.: On the Dynamics of Ludics. A Study of Interaction. PhD thesis, Université Aix-Marseille II (2002)

    Google Scholar 

  4. Faggian, C.: Travelling on designs: ludics dynamics. In: Bradfield, J.C. (ed.) CSL 2002 and EACSL 2002. LNCS, vol. 2471, p. 427. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  5. Faggian, C., Hyland, M.: Designs, disputes and strategies. In: Bradfield, J.C. (ed.) CSL 2002 and EACSL 2002. LNCS, vol. 2471, p. 442. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  6. Faggian, C., Maurel, F.: Ludics on graphs, towards concurrency. draft

    Google Scholar 

  7. Girard, J.-Y.: Locus solum. Mathematical Structures in Computer Science 11, 301–506 (2001)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Padova, Italy

    Claudia Faggian

Authors
  1. Claudia Faggian
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Departament de Llenguatges i Sistemes Informatics, Universitat Politecnica de Catalunya, Campus Nord - Ed. Omega, 240 Jordi Girona Salgado, 1-3 E-08034, Barcelona

    Josep Díaz

  2. Department of Mathematics and Turku Centre for Computer Science TUCS, University of Turku, 20014, Turku, Finland

    Juhani Karhumäki

  3. Department of Mathematics, University of Turku, Turku, Finland

    Arto Lepistö

  4. Laboratory for Foundations of Computer Science, University of Edinburgh,  

    Donald Sannella

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Faggian, C. (2004). Interactive Observability in Ludics. In: Díaz, J., Karhumäki, J., Lepistö, A., Sannella, D. (eds) Automata, Languages and Programming. ICALP 2004. Lecture Notes in Computer Science, vol 3142. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27836-8_44

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-27836-8_44

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-22849-3

  • Online ISBN: 978-3-540-27836-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation