stefano-guerrini documents

Madews issue7
Lifestyle Madews issue7
Stefano Guerrini - Fashion Report 02
Lifestyle Stefano Guerrini - Fashion Report 02
Stefano Guerrini - Design Report
Lifestyle Stefano Guerrini - Design Report
Stefano Guerrini - Made with Style 02/03-2010
Lifestyle Stefano Guerrini - Made with Style 02/03-2010
A linear algorithm for MLL proof net correctness and sequentialization
Documents A linear algorithm for MLL proof net correctness and sequentialization
Coherence for sharing proof-nets
Documents Coherence for sharing proof-nets
Proof nets, garbage, and computations
Documents Proof nets, garbage, and computations
A general theory of sharing graphs
Documents A general theory of sharing graphs
Parsing MELL proof nets
Documents Parsing MELL proof nets