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

Research Output 2014 2019

  • 10 Conference contribution
  • 2 Article
  • 1 Conference article
Filter
Article
2018

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

2017
3 Citations (Scopus)

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

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

Research output: Contribution to journalArticle

Open Access