Interactive observability in Ludics: the geometry of tests
type: Item
instance of: scholarly article
title: Interactive observability in Ludics: the geometry of tests
zbMATH Open document ID: 1086.03049
author: Claudia Faggian
published in: Theoretical Computer Science
publication date: 2006-03-20T00:00:00Z
Mathematics Subject Classification ID: 03F52
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 5013338
zbMATH Keywords: Ludics
zbMATH Keywords: game semantics
zbMATH Keywords: linear logic
zbMATH Keywords: geometry of interaction
MaRDI profile type: Publication
full work available at URL: j.tcs.2005.10.042
OpenAlex ID: W2059515205
cites work: Q3357521
cites work: Thick Subtrees, Games and Experiments
cites work: Abstract Böhm trees
cites work: Q4842980
cites work: Q4411839
cites work: Q4411840
cites work: Linear logic
cites work: Locus solum: From the rules of logic to the logic of rules.
DOI: 10.1016/J.TCS.2005.10.042
Recommended article: Automata, Languages and Programming
Recommended article: Towards Ludics Programming: Interactive Proof Search
Recommended article: GAME SEMANTICS AND THE GEOMETRY OF BACKTRACKING: A NEW COMPLEXITY ANALYSIS OF INTERACTION
Recommended article: Geometry of Interaction and the Dynamics of Proof Reduction: A Tutorial
Recommended article: FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
Recommended article: Q5389839
Recommended article: Interactive and probabilistic proof-checking
Recommended article: Ludics with repetitions (Exponentials, Interactive types and Completeness)
Recommended article: Model checking games for the quantitative \(\mu \)-calculus
Recommended article: Q4910728
description: scientific article; zbMATH DE number 5013338