If you made any changes in Pure these will be visible here soon.

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

  • 9 Conference contribution
  • 2 Article
  • 1 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 proceedingConference 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 journalArticle

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 proceedingConference 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 proceedingConference contribution