Interactive observability in Ludics: the geometry of tests (Q817844)

From MaRDI portal





scientific article; zbMATH DE number 5013338
Language Label Description Also known as
default for all languages
No label defined
    English
    Interactive observability in Ludics: the geometry of tests
    scientific article; zbMATH DE number 5013338

      Statements

      Interactive observability in Ludics: the geometry of tests (English)
      0 references
      0 references
      20 March 2006
      0 references
      Ludics
      0 references
      game semantics
      0 references
      linear logic
      0 references
      geometry of interaction
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references

      Identifiers