Research Output per year

## Personal profile

### Research interests

Mathematical logic, proof theory, linear logic, proof-nets, lambda-calculus, Curry-Howard, type theory, theory of programming languages, abstract machines, denotational semantics.

### Keywords

- QA75 Electronic computers. Computer science
- Logic
- lambda-calculus
- BC Logic

## Fingerprint Dive into the research topics where Giulio Guerrieri is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

- 4 Similar Profiles

Proof Nets
Mathematics

Abstract Machines
Mathematics

Denotational Semantics
Mathematics

Proof Theory
Mathematics

Linear Logic
Mathematics

Lambda Calculus
Mathematics

Type Theory
Mathematics

Programming Languages
Mathematics

##
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.

## Research Output 2014 2019

### Towards a semantic measure of the execution time in call-by-value lambda-calculus

Guerrieri, G., 2019, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 293, p. 57-72 16 p.Research output: Contribution to journal › Conference article

Open Access

2
Citations
(Scopus)

### Types by Need

Accattoli, B., Guerrieri, G. & Leberle, M., 6 Apr 2019,*Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings.*Caires, L. (ed.). Springer Verlag, p. 410-439 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11423 ).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access

### Postponement of raa and Glivenko’s Theorem, Revisited

Guerrieri, G. & Naibo, A., 9 Mar 2018, In : Studia Logica. p. 1-36 36 p.Research output: Contribution to journal › Article

3
Citations
(Scopus)

### Types of Fireballs

Accattoli, B. & Guerrieri, G., 22 Oct 2018,*Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Proceedings.*Ryu, S. (ed.). Springer Verlag, p. 45-66 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11275 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

3
Citations
(Scopus)

### Implementing Open Call-by-Value

Accattoli, B. & Guerrieri, G., 11 Oct 2017,*Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Revised Selected Papers.*Sirjani, M., Dastani, M. & Sirjani, M. (eds.). Springer Verlag, p. 1-19 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10522 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution