#### Writes About:

#### Filter Results:

- Full text PDF available (20)

#### Publication Year

1993

2017

- This year (0)
- Last 5 years (7)
- Last 10 years (11)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Stefano Guerrini
- LICS
- 1999

We reformulate Danos contractibility criterion in terms of a sort of unification. As for term unification, a direct implementation of the unification criterion leads to a quasi-linear algorithm.â€¦ (More)

- Stefano Guerrini
- Theor. Comput. Sci.
- 2011

The paper presents in full details the first linear algorithm given in the literature [6] implementing proof structure correctness for multiplicative linear logic without units. The algorithm isâ€¦ (More)

- Stefano Guerrini, Andrea Masini
- Theor. Comput. Sci.
- 2001

We propose a new formulation for full (weakening and constants included) multiplicative and exponential (MELL) proof nets, allowing a complete set of rewriting rules to parse them. The recognizingâ€¦ (More)

- Roberto Di Cosmo, Stefano Guerrini
- RTA
- 1999

This paper proposes a notion of reduction for the proof nets of Linear Logic modulo an equivalence relation on the contraction links, that essentially amounts to consider the contraction as anâ€¦ (More)

- Roberto Scopigno, Alberto Paoluzzi, Stefano Guerrini, G. Rumolo
- Computers & Graphics
- 1993

-Visualization is a key aspect in geometric modeling. Since the processing required for realistic display is often considerable, the design of parallel visualization algorithms is a trying task. Inâ€¦ (More)

- Stefano Guerrini, Simone Martini, Andrea Masini
- RTA
- 1996

Sharing graphs are an implementation of linear logic proofnets in such a way that their reduction never duplicate a redex. In their usual formulations, proof-nets present a problem of coherence: ifâ€¦ (More)

- Corrado BÃ¶hm, Adolfo Piperno, Stefano Guerrini
- ESOP
- 1994

Lambda-calculus is extended in order to represent a rather large class of recursive equation systems, implicitly characterizing function(al)s or mappings of some algebraic domain into arbitrary sets.â€¦ (More)

- Stefano Guerrini, Simone Martini, Andrea Masini
- TLCA
- 1997

We study the problem of local and asynchronous computation in the context of multiplicative exponential linear logic (MELL) proof nets. The main novelty is in a complete set of rewriting rules forâ€¦ (More)

- Stefano Guerrini, Simone Martini, Andrea Masini
- Logic Journal of the IGPL
- 1998

We apply the sequents approach to the analysis of several logics derived from linear logic In particular we present a uniform formal system for Linear Logic Elementary Linear Logic and Light Linearâ€¦ (More)

- Beniamino Accattoli, Stefano Guerrini
- CSL
- 2009