Add to ORKGInternational audienceWe recall some of the early occurrences of the notions of interactivity and symmetry in the operational and denotational semantics of programming languages. We suggest some connections with ludics
My research interest lies in complexity theory, with an emphasis on its interaction with group the-o...
Algorithms are extremely important in science and engineering. One of the main objectives of science...
This dissertation explores the roles of polarities and focussing in various aspects of Computational...
International audienceThe topics of structural proof theory and logic programming have influenced ea...
International audienceBehavioural symmetry is introduced into concurrent games. It expresses when pl...
International audienceThe earliest and most popular use of logic in computer science views computati...
In the past few years, digital computer programs that depart from the traditional numerical computat...
International audienceLudics is a rebuilding of Linear Logic from the sole concept of interaction on...
Since the mid-eighties of the last century, a fruitful interplay between computer scientists and mat...
International audienceThis paper proposes a new interpretation of the logical contents of programs i...
International audienceIn this chapter, we propose some future directions of work, potentially benefi...
In game semantics and related approaches to programming language semantics, programs are modelled by...
We argue that classical programming languages are based on a fundamentally mistaken emphasis on the...
This paper revisits the Interaction Abstract Machine (IAM), a machine based on Girard's Geometry of ...
Commensurability and symmetry have diverged from a common Greek origin. We review the history of thi...
My research interest lies in complexity theory, with an emphasis on its interaction with group the-o...
Algorithms are extremely important in science and engineering. One of the main objectives of science...
This dissertation explores the roles of polarities and focussing in various aspects of Computational...
International audienceThe topics of structural proof theory and logic programming have influenced ea...
International audienceBehavioural symmetry is introduced into concurrent games. It expresses when pl...
International audienceThe earliest and most popular use of logic in computer science views computati...
In the past few years, digital computer programs that depart from the traditional numerical computat...
International audienceLudics is a rebuilding of Linear Logic from the sole concept of interaction on...
Since the mid-eighties of the last century, a fruitful interplay between computer scientists and mat...
International audienceThis paper proposes a new interpretation of the logical contents of programs i...
International audienceIn this chapter, we propose some future directions of work, potentially benefi...
In game semantics and related approaches to programming language semantics, programs are modelled by...
We argue that classical programming languages are based on a fundamentally mistaken emphasis on the...
This paper revisits the Interaction Abstract Machine (IAM), a machine based on Girard's Geometry of ...
Commensurability and symmetry have diverged from a common Greek origin. We review the history of thi...
My research interest lies in complexity theory, with an emphasis on its interaction with group the-o...
Algorithms are extremely important in science and engineering. One of the main objectives of science...
This dissertation explores the roles of polarities and focussing in various aspects of Computational...