Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Marc de Falco

dblp:70/3850 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Logic in computer science › proof theory › proof semantics
geometry of interaction
0.112008
The Geometry of Interaction of Differential Interaction Nets · LICS 2008
Logic in computer science › proof theory › substructural logic
linear logic
0.112008
The Geometry of Interaction of Differential Interaction Nets · LICS 2008
Logic in computer science › proof theory › substructural logic › linear logic
proof nets
0.112008
The Geometry of Interaction of Differential Interaction Nets · LICS 2008
Logic in computer science
proof theory
0.112008
The Geometry of Interaction of Differential Interaction Nets · LICS 2008
Logic in computer science
lambda calculus
0.012008
The Geometry of Interaction of Differential Interaction Nets · LICS 2008
Logic in computer science › lambda calculus
optimal reduction
0.012008
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
YearPublicationVenuePosition
2009 An Explicit Framework for Interaction Nets
Marc de Falco
RTA1
2008 The Geometry of Interaction of Differential Interaction Nets
abstract
The 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
LICS1