84 results on '"Tortora de Falco, Lorenzo"'
Search Results
2. Introduzione alla teoria degli insiemi
3. I cardinali
4. La gerarchia e l’assioma di fondazione
5. L’aritmetica di Peano
6. La teoria assiomatica di Zermelo ()
7. Gli ordinali
8. Decidibilità e risultati fondamentali di teoria della ricorsività
9. Proof-Net as Graph, Taylor Expansion as Pullback
10. Relazioni tra logica e aritmetica: un’introduzione
11. Proof-Net as Graph, Taylor Expansion as Pullback
12. A semantic account of strong normalization in linear logic
13. La gerarchia V$V$ e l’assioma di fondazione
14. Logica
15. An abstract approach to stratification in linear logic
16. The relational model is injective for multiplicative exponential linear logic (without weakenings)
17. MELL proof-nets in the category of graphs
18. Denotational semantics for polarized (but-non-constrained) LK by means of the additives
19. Strong normalization for all-style LKtq : Extended abstract
20. Strong normalization property for second order linear logic
21. Preface Special Issue: Differential Linear Logic, Nets and Other Quantitative and Parallel Approaches to Proof-Theory
22. Glueability of resource proof-structures: inverting the Taylor expansion
23. Polarized and focalized linear and classical proofs
24. Finite semantics of polymorphism, complexity and the power of type fixpoints
25. Additives of linear logic and normalization—Part I: a (restricted) Church–Rosser property
26. The additive multiboxes
27. Strong normalization for all-style LKtq
28. Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications
29. Computing connected proof(-structure)s from their Taylor expansion
30. A semantic account of strong normalization in Linear Logic
31. Relational type-checking for MELL proof-structures. Part 1: Multiplicatives
32. Logica Volume 1- Dimostrazioni e modelli al primo ordine
33. Relational type-checking of connected proof-structures
34. Preface
35. Injectivity of relational semantics with respect to MELL proof-nets and the Taylor expansion
36. Injectivity of relational semantics for (connected) MELL proof-nets via Taylor expansion
37. Sulla struttura logica del calcolo
38. Preface.
39. Coherent obsessional experiments for linear logic proof-nets
40. A semantic measure of the execution time in Linear Logic
41. Strong Normalization for all-style LK-tq
42. Polarisation des preuves classiques et renversement
43. Generalized standardization lemma for the additives
44. Generalized standardization lemma for the additives (preliminary report)
45. Confluence for Proof-Nets via Parallel Cut Elimination
46. Gluing resource proof-structures: inhabitation and inverting the Taylor expansion
47. Taking Linear Logic Apart
48. Proof-Net as Graph, Taylor Expansion as Pullback
49. Preface
50. Logica
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.