The following pages link to Lorenzo Tortora de Falco (Q276259):
Displayed 27 items.
- A semantic account of strong normalization in linear logic (Q276260) (← links)
- The relational model is injective for multiplicative exponential linear logic (without weakenings) (Q435194) (← links)
- (Q534697) (redirect page) (← links)
- A semantic measure of the execution time in linear logic (Q534698) (← links)
- Polarized and focalized linear and classical proofs (Q556824) (← links)
- Strong normalization property for second order linear logic (Q1044837) (← links)
- Light linear logic (Q1271560) (← links)
- Additives of linear logic and normalization. I: A (restricted) Church-Rosser property. (Q1398477) (← links)
- Non-commutative logic. III: Focusing proofs. (Q1427855) (← links)
- The additive multiboxes (Q1861326) (← links)
- Non-commutative logic. I: The multiplicative fragment (Q1964014) (← links)
- Proof-net as graph, Taylor expansion as pullback (Q2303597) (← links)
- An abstract approach to stratification in linear logic (Q2343125) (← links)
- (Q4222847) (← links)
- (Q4364522) (← links)
- SN and CR for free-style <i>LK<sup>tq</sup></i>: linear decorations and simulation of normalization (Q4532608) (← links)
- Logica (Q4606868) (← links)
- Strong normalization for all-style LKtq (Q4645240) (← links)
- (Q4650583) (← links)
- Obsessional experiments for linear logic proof-nets (Q4811556) (← links)
- (Q4896474) (← links)
- (Q5094132) (← links)
- (Q5369485) (← links)
- Logica (Q5405106) (← links)
- (Q5437244) (← links)
- Glueability of resource proof-structures: inverting the Taylor expansion (long version) (Q6327394) (← links)
- Gluing resource proof-structures: inhabitation and inverting the Taylor expansion (Q6346667) (← links)