View Scopus Profile

Giulio Guerrieri

Dr

Research Staff, Department of Computer Science

https://orcid.org/0000-0002-0469-4279

Phone+447895999652
Emailgg573@bath.ac.uk, G.Guerrieri@bath.ac.uk
Websitehttps://www.irif.fr/~giuliog/

1 WEST 4.56

Accepting Doctoral Students

Research output per year

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

14 Conference contribution
3 Article
2 Conference article
1 Paper

2 results

Filter

Conference article

The Bang Calculus and the Two Girard's Translations
Guerrieri, G. & Manzonetto, G., 15 Apr 2019, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 292, p. 15-30 16 p.
Research output: Contribution to journal › Conference article › peer-review

Open Access

5 Citations (Scopus)
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 › peer-review

Open Access
1 Citation (Scopus)