Stefano Guerrini - Made with Style 09/10-2009
Stefano Guerrini - Made with Style 11/12-2009
Stefano Guerrini - Made with Style 06/07-2009
Stefano Guerrini - Made with Style 04/05-2010
Stefano Guerrini - Qbik 01
Madews issue7
Stefano Guerrini - Fashion Report 02
Stefano Guerrini - Design Report
Stefano Guerrini - Made with Style 02/03-2010
Stefano Guerrini - Velvet
A linear algorithm for MLL proof net correctness and sequentialization
Coherence for sharing proof-nets
Proof nets, garbage, and computations
A general theory of sharing graphs
Parsing MELL proof nets