Stefano Guerrini

Available identifiers

Publication	Date of Publication	Type
Natural deduction calculi for classical and intuitionistic S5	2023-08-16	Paper
Coherence for sharing proof nets	2022-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q5014809	2021-12-08	Paper
Proof nets for classical logic	2021-09-07	Paper
Is the Optimal Implementation Inefficient? Elementarily Not	2020-05-26	Paper
Proofs, tests and continuation passing style	2015-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q5397484	2014-02-21	Paper
https://portal.mardi4nfdi.de/entity/Q2848122	2013-09-25	Paper
A linear algorithm for MLL proof net correctness and sequentialization	2011-05-10	Paper
Jumping Boxes	2009-11-12	Paper
Commutative Locative Quantifiers for Multiplicative Linear Logic	2007-09-11	Paper
https://portal.mardi4nfdi.de/entity/Q3024907	2005-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4650577	2005-02-18	Paper
Coherence for sharing proof-nets	2003-07-29	Paper
Parsing MELL proof nets	2001-08-20	Paper
Proof nets, garbage, and computations	2000-12-12	Paper
https://portal.mardi4nfdi.de/entity/Q4511323	2000-10-30	Paper
A general theory of sharing graphs	2000-08-23	Paper
An analysis of (linear) exponentials based on extended sequents	2000-04-06	Paper
https://portal.mardi4nfdi.de/entity/Q4942005	2000-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4938598	2000-02-23	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Stefano Guerrini