output
20182022
most citedA System of Interaction and Structure III: The Complexity of BV and Pomset Logic

5 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2022Show all

4 papers · 1 filter

math.CT2022★ 3 cited

Parsing as a lifting problem and the Chomsky-Schützenberger representation theorem

Paul-André Melliès, Noam Zeilberger

We begin by explaining how any context-free grammar encodes a functor of operads from a freely generated operad into a certain "operad of spliced words". This motivates a more gene…

cs.LO2022★ 5 cited

A System of Interaction and Structure III: The Complexity of BV and Pomset Logic

Lê Thành Dũng Nguyên, Lutz Straßburger

Pomset logic and BV are both logics that extend multiplicative linear logic (with Mix) with a third connective that is self-dual and non-commutative. Whereas pomset logic originate…

cs.LO2022★ 4 cited

Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic

Beniamino Accattoli

This paper introduces the exponential substitution calculus (ESC), a new presentation of cut elimination for IMELL, based on proof terms and building on the idea that exponentials…

cs.LO2022

Reasonable Space for the -Calculus, Logarithmically

Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni

Can the -calculus be considered a reasonable computational model? Can we use it for measuring the time space consumption of algorithms? While the literature conta…