Stefano Guerrini

From MaRDI portal
Person:534704

Available identifiers

zbMath Open guerrini.stefanoWikidataQ102289299 ScholiaQ102289299MaRDI QIDQ534704

List of research outcomes





PublicationDate of PublicationType
Natural deduction calculi for classical and intuitionistic S52023-08-16Paper
Coherence for sharing proof nets2022-12-09Paper
https://portal.mardi4nfdi.de/entity/Q50148092021-12-08Paper
Proof nets for classical logic2021-09-07Paper
Is the Optimal Implementation Inefficient? Elementarily Not2020-05-26Paper
Proofs, tests and continuation passing style2015-09-17Paper
https://portal.mardi4nfdi.de/entity/Q53974842014-02-21Paper
Sharing implementations of graph rewriting systems2013-09-25Paper
A linear algorithm for MLL proof net correctness and sequentialization2011-05-10Paper
Jumping Boxes2009-11-12Paper
Commutative Locative Quantifiers for Multiplicative Linear Logic2007-09-11Paper
https://portal.mardi4nfdi.de/entity/Q30249072005-07-04Paper
https://portal.mardi4nfdi.de/entity/Q46505772005-02-18Paper
Coherence for sharing proof-nets2003-07-29Paper
Parsing MELL proof nets2001-08-20Paper
Proof nets, garbage, and computations2000-12-12Paper
https://portal.mardi4nfdi.de/entity/Q45113232000-10-30Paper
A general theory of sharing graphs2000-08-23Paper
An analysis of (linear) exponentials based on extended sequents2000-04-06Paper
https://portal.mardi4nfdi.de/entity/Q49420052000-03-19Paper
https://portal.mardi4nfdi.de/entity/Q49385982000-02-23Paper

Research outcomes over time

This page was built for person: Stefano Guerrini

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:534704&oldid=10469929"
Powered by MediaWiki