Demo Data from EDBT 2026 / reviewers in the wild / expert
Marc de Falco
dblp:70/3850
· DBLP profile ↗
2ranked-venue papers
2as first author
0since 2021 · last 2009
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 2 · 2 first-author
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
1 paper |
Logic in computer science · 100% |
Topics — the 6 heaviest of 7, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Logic in computer science › proof theory › proof semantics
geometry of interaction |
0.1 | 1 | 2008 | The Geometry of Interaction of Differential Interaction Nets · LICS 2008 |
Logic in computer science › proof theory › substructural logic
linear logic |
0.1 | 1 | 2008 | The Geometry of Interaction of Differential Interaction Nets · LICS 2008 |
Logic in computer science › proof theory › substructural logic › linear logic
proof nets |
0.1 | 1 | 2008 | The Geometry of Interaction of Differential Interaction Nets · LICS 2008 |
Logic in computer science
proof theory |
0.1 | 1 | 2008 | The Geometry of Interaction of Differential Interaction Nets · LICS 2008 |
Logic in computer science
lambda calculus |
0.0 | 1 | 2008 | The Geometry of Interaction of Differential Interaction Nets · LICS 2008 |
Logic in computer science › lambda calculus
optimal reduction |
0.0 | 1 | 2008 | The Geometry of Interaction of Differential Interaction Nets · LICS 2008 |
Methods — techniques the papers use, named apart from their topics
algebraic weighting of paths · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2009 | An Explicit Framework for Interaction Nets
Marc de Falco |
RTA | 1 |
| 2008 | The Geometry of Interaction of Differential Interaction NetsabstractThe geometry of interaction purpose is to give a semantic of proofs or programs accounting for their dynamics. The initial presentation, translated as an algebraic weighting of paths in proofnets, led to a better characterization of the lambda-lambda-calculus optimal reduction. Recently Ehrhard and Regnier have introduced an extension of the multiplicative exponential fragment of linear logic (MELL) that is able to express non-deterministic behaviour of programs and a proofnet-like calculus: differential interaction nets. This paper constructs a proper geometry of interaction (GoI) for this extension. We consider it both as an algebraic theory and as a concrete reversible computation. We draw links between this GoI and the one of MELL. As a by-product we give for the first time an equational theory suitable for the GoI of the multiplicative additive fragment of linear logic. Marc de Falco |
LICS | 1 |