• 1 WEST 4.56

Accepting PhD Students

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

Research Output 2014 2020

  • 13 Conference contribution
  • 3 Article
  • 2 Conference article
Filter
Article
2019

Abstract Machines for Open Call-by-Value

Accattoli, B. & Guerrieri, G., 1 Oct 2019, In : Science of Computer Programming. 184, 102275.

Research output: Contribution to journalArticle

Postponement of raa and Glivenko’s Theorem, Revisited

Guerrieri, G. & Naibo, A., 15 Feb 2019, In : Studia Logica. 107, 1, p. 109-144 36 p.

Research output: Contribution to journalArticle

2017
5 Citations (Scopus)

Standardization and conservativity of a refined call-by-value lambda-calculus

Guerrieri, G., Paolini, L. & Ronchi Della Rocca, S., 22 Dec 2017, In : Logical Methods in Computer Science. 13, 4, 29.

Research output: Contribution to journalArticle

Open Access