The following pages link to Stefano Guerrini (Q534704):
Displaying 21 items.
- (Q197392) (redirect page) (← links)
- A linear algorithm for MLL proof net correctness and sequentialization (Q534705) (← links)
- Coherence for sharing proof-nets (Q1398472) (← links)
- A general theory of sharing graphs (Q1575875) (← links)
- Proof nets, garbage, and computations (Q1589650) (← links)
- Proof nets for classical logic (Q1982017) (← links)
- (Q2848122) (← links)
- Proofs, tests and continuation passing style (Q2946570) (← links)
- (Q3024907) (← links)
- Commutative Locative Quantifiers for Multiplicative Linear Logic (Q3591406) (← links)
- Jumping Boxes (Q3644740) (← links)
- An analysis of (linear) exponentials based on extended sequents (Q4221772) (← links)
- (Q4511323) (← links)
- (Q4650577) (← links)
- (Q4938598) (← links)
- (Q4942005) (← links)
- (Q5014809) (← links)
- Coherence for sharing proof nets (Q5055862) (← links)
- Is the Optimal Implementation Inefficient? Elementarily Not (Q5111313) (← links)
- (Q5397484) (← links)
- Parsing MELL proof nets (Q5940925) (← links)
