Name Card

Full name Familienname, Vorname
Genco, Francesco Antonio
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 24 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Aschieri, Federico ; Ciabattoni, Agata ; Genco, Francesco Antonio A typed parallel lambda-calculus via 1-depth intermediate proofsKonferenzbeitrag Inproceedings 2020
2Aschieri, Federico ; Ciabattoni, Agata ; Genco, Francesco A. On the concurrent computational content of intermediate logicsArtikel Article 2020
3Aschieri, Federico ; Genco, Francesco A. Par means parallel: multiplicative linear logic proofs as concurrent functional programs"Artikel Article 2020
4Ciabattoni, Agata ; Genco, Francesco ; Aschieri, Federico Intermediate Logic Proofs as Concurrent ProgramsPräsentation Presentation2019
5Genco Francesco Antonio - 2019 - Intermediate logics and concurrent -calculi a...pdf.jpgGenco, Francesco Antonio Intermediate logics and concurrent λ-calculi: a proof-theoretical approachThesis Hochschulschrift 2019
6Ciabattoni, Agata ; Genco, Francesco A. ; Ramanayake, Revantha Substructural logics: semantics, proof theory, and applications. Report on the second SYSMICS workshopArtikel Article2018
7Aschieri, Federico ; Ciabattoni, Agata ; Genco, Francesco Disjunctive Axioms and Concurrent lambda-Calculi: a Curry-Howard ApproachPreprint Preprint2018
8Ciabattoni, Agata ; Genco, Francesco A. Hypersequents and Systems of Rules: Embeddings and Applications.Artikel Article 2018
9Genco, Francesco Intermediate Logic Proofs as Concurrent ProgramsPräsentation Presentation2018
10Aschieri, Federico ; Genco, Francesco ; Ciabattoni, Agata Classical Proofs as Parallel ProgramsKonferenzbeitrag Inproceedings 2018
11Aschieri, Federico ; Ciabattoni, Agata ; Genco, Francesco Logic-Based Concurrent CalculiPräsentation Presentation2018
12Ciabattoni, Agata ; Genco, Francesco ; Freschi, Elisa Understanding prescriptive texts: rules and logic elaborated by Mīmāṃsā schoolArtikel Article2017
13Genco, Francesco From Hypersequents to Parallel Computation via Systems of RulesPräsentation Presentation2017
14Genco, Francesco Typing parallelism and communication by hypersequentsPräsentation Presentation2017
15Genco, Francesco From hypersequents to parallel processesPräsentation Presentation2017
16Genco, Francesco Typing parallelism and communication by hypersequentsPräsentation Presentation2017
17Genco, Francesco Hypersequents, systems of rules and parallel computationPräsentation Presentation2017
18Genco, Francesco From hypersequents to parallel computation: Gödel logic and beyondPräsentation Presentation2017
19Ciabattoni, Agata ; Genco, Francesco Gödel Logic: From Natural Deduction to Parallel ComputationKonferenzbeitrag Inproceedings2017
20Ciabattoni, Agata ; Genco, Francesco Hypersequents and Systems of Rules: An EmbeddingPräsentation Presentation2016