Sfoglia per Autore
A semantic account of strong normalization in Linear Logic
2016-01-01 de Carvalho, Daniel; TORTORA DE FALCO, Lorenzo
Preface Special Issue: Differential Linear Logic, Nets and Other Quantitative and Parallel Approaches to Proof-Theory
2018-01-01 TORTORA DE FALCO, Lorenzo
Logica
2018-01-01 Abrusci, Vito Michele; TORTORA DE FALCO, Lorenzo
Proof-Net as Graph, Taylor Expansion as Pullback
2019-01-01 Guerrieri, Giulio; Pellissier, Luc; Tortora de Falco, Lorenzo
Preface
2019-01-01 Ehrhard, Thomas; Fernández, Maribel; de Paiva, Valeria; TORTORA DE FALCO, Lorenzo
Glueability of resource proof-structures: Inverting the Taylor expansion
2020-01-01 Guerrieri, G.; Pellissier, L.; Tortora De Falco, L.
MELL proof-nets in the category of graphs
2021-01-01 Guerrieri, Giulio; Manara, Giulia; Pellissier, Luc; TORTORA DE FALCO, Lorenzo; Vaux Auclair, Lionel
Gluing resource proof-structures: inhabitation and inverting the Taylor expansion
2022-01-01 Guerrieri, Giulio; Pellissier, Luc; TORTORA DE FALCO, Lorenzo
Linear Realisability Over Nets and Second Order Quantification
2023-01-01 TORTORA DE FALCO, Lorenzo
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A semantic account of strong normalization in Linear Logic | 1-gen-2016 | de Carvalho, Daniel; TORTORA DE FALCO, Lorenzo | |
Preface Special Issue: Differential Linear Logic, Nets and Other Quantitative and Parallel Approaches to Proof-Theory | 1-gen-2018 | TORTORA DE FALCO, Lorenzo | |
Logica | 1-gen-2018 | Abrusci, Vito Michele; TORTORA DE FALCO, Lorenzo | |
Proof-Net as Graph, Taylor Expansion as Pullback | 1-gen-2019 | Guerrieri, Giulio; Pellissier, Luc; Tortora de Falco, Lorenzo | |
Preface | 1-gen-2019 | Ehrhard, Thomas; Fernández, Maribel; de Paiva, Valeria; TORTORA DE FALCO, Lorenzo | |
Glueability of resource proof-structures: Inverting the Taylor expansion | 1-gen-2020 | Guerrieri, G.; Pellissier, L.; Tortora De Falco, L. | |
MELL proof-nets in the category of graphs | 1-gen-2021 | Guerrieri, Giulio; Manara, Giulia; Pellissier, Luc; TORTORA DE FALCO, Lorenzo; Vaux Auclair, Lionel | |
Gluing resource proof-structures: inhabitation and inverting the Taylor expansion | 1-gen-2022 | Guerrieri, Giulio; Pellissier, Luc; TORTORA DE FALCO, Lorenzo | |
Linear Realisability Over Nets and Second Order Quantification | 1-gen-2023 | TORTORA DE FALCO, Lorenzo |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile