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

Open Access
File
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 proceedingConference contribution

Open Access
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

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

2017
6 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

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
2016
4 Citations (Scopus)

Computing connected proof(-Structure)s from their taylor expansion

Guerrieri, G., Pellissier, L. & De Falco, L. T., 1 Jun 2016, 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016. Kesner, D. & Pientka, B. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 52. 20. (LIPIcs : Leibniz International Proceedings in Informatics).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
13 Citations (Scopus)

Open call-by-value

Accattoli, B. & Guerrieri, G., 9 Oct 2016, Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Proceedings: APLAS 2016. Igarashi, A. (ed.). Springer Verlag, p. 206-226 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10017 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

10 Citations (Scopus)

The bang calculus: An untyped lambda-calculus generalizing Call-By-Name and Call-By-Value

Ehrhard, T. & Guerrieri, G., 5 Sep 2016, Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, PPDP 2016. Association for Computing Machinery, p. 174-187 14 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2015
6 Citations (Scopus)

Head reduction and normalization in a call-by-value lambda-calculus

Guerrieri, G., 1 Jan 2015, 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE 2015. Escobar, S., Sabel, D., Chiba, Y., Nishida, N. & Schmidt-Schauss, M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 46. p. 3-17 15 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Citations (Scopus)

Standardization of a call-by-value lambda-calculus

Guerrieri, G., Paolini, L. & Della Rocca, S. R., 1 Jul 2015, 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015. Altenkirch, T. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 38. p. 211-225 15 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2014
18 Citations (Scopus)

A semantical and operational account of call-by-value solvability

Carraro, A. & Guerrieri, G., 1 Jan 2014, Foundations of Software Science and Computation Structures - 17th Int. Conf., FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Proc.. Springer Verlag, p. 103-118 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8412 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution