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.

- 3 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

4
Downloads
(Pure)

### Proof-Net as Graph, Taylor Expansion as Pullback

Guerrieri, G., Pellissier, L. & Tortora de Falco, L., 9 Jun 2019,*Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, Proceedings.*Iemhoff, R., Moortgat, M. & de Queiroz, R. (eds.). Berlin, Germany: Springer Verlag, p. 282-300 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11541 LNCS).

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

Open Access

File

### 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

3
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

5
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