Stefano Guerrini

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Natural deduction calculi for classical and intuitionistic S5 Journal of Applied Non-Classical Logics	2023-08-16	Paper
Coherence for sharing proof nets Rewriting Techniques and Applications	2022-12-09	Paper
Linear \(\beta\)-reduction	2021-12-08	Paper
Proof nets for classical logic Notre Dame Journal of Formal Logic	2021-09-07	Paper
Is the Optimal Implementation Inefficient? Elementarily Not	2020-05-26	Paper
Proofs, tests and continuation passing style ACM Transactions on Computational Logic	2015-09-17	Paper
The optimal implementation of functional programming languages	2014-02-21	Paper
Sharing implementations of graph rewriting systems	2013-09-25	Paper
A linear algorithm for MLL proof net correctness and sequentialization Theoretical Computer Science	2011-05-10	Paper
Jumping Boxes Computer Science Logic	2009-11-12	Paper
Commutative Locative Quantifiers for Multiplicative Linear Logic Automata, Languages and Programming	2007-09-11	Paper
scientific article; zbMATH DE number 2185715 (Why is no real title available?)	2005-07-04	Paper
scientific article; zbMATH DE number 2134911 (Why is no real title available?)	2005-02-18	Paper
Coherence for sharing proof-nets Theoretical Computer Science	2003-07-29	Paper
Parsing MELL proof nets Theoretical Computer Science	2001-08-20	Paper
Proof nets, garbage, and computations Theoretical Computer Science	2000-12-12	Paper
scientific article; zbMATH DE number 1523048 (Why is no real title available?)	2000-10-30	Paper
A general theory of sharing graphs Theoretical Computer Science	2000-08-23	Paper
An analysis of (linear) exponentials based on extended sequents Logic Journal of the IGPL	2000-04-06	Paper
scientific article; zbMATH DE number 1418450 (Why is no real title available?)	2000-03-19	Paper
scientific article; zbMATH DE number 1405619 (Why is no real title available?)	2000-02-23	Paper

Research outcomes over time

This page was built for person: Stefano Guerrini