Research output per year
Research output per year
Personal profile
Research interests
Mathematical Logic and Theoretical Computer Science
Education/Academic qualification
Computer Science and Mathematics, Doctor of Philosophy, Université Sorbonne Paris Nord
Award Date: 10 Dec 2021
Logica Matematica ed Informatica Teorica, Master of Mathematics, Università Roma Tre
Award Date: 21 Mar 2019
Mathématiques Discrètes et Fondement de l'Informatique, Master of Mathematics, Aix-Marseille University
Award Date: 26 Jun 2018
Mathematics, Bachelor of Science, Sapienza Università di Roma
Keywords
- Logic and Computation
- lambda-calculus
- Linear Logic
- Program semantics
- category theory
- type theory
- proof theory
Fingerprint
Dive into the research topics where Davide Barbarossa is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Tropical Mathematics and the Lambda-Calculus I: Metric and Differential Analysis of Effectful Programs
Barbarossa, D. & Pistone, P., 7 Feb 2024, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024). Murano, A. & Silva, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 14. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 288).Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
Open Access -
Resource approximation for the λμ-calculus
Barbarossa, D., 2 Aug 2022, Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science. Baier, C. (ed.). New York, U. S. A.: Association for Computing Machinery, p. 1-12Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
2 Citations (SciVal) -
Towards a resource based approximation theory of programs
DAVIDE, B., 10 Dec 2021Research output: Thesis › Doctoral Thesis
-
Taylor subsumes Scott, Berry, Kahn and Plotkin
Barbarossa, D. & Manzonetto, G., 20 Dec 2019, In: Proceedings of the ACM on Programming Languages (PACMPL). 4, 1.Research output: Contribution to journal › Article › peer-review
Open Access15 Citations (SciVal)