• 1 WEST 4.56

Accepting Doctoral Students

20142020

Research output per year

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

Research Output

  • 14 Conference contribution
  • 3 Article
  • 2 Conference article
  • 1 Paper
Filter
Conference contribution
2020

Glueability and coherence of resource proof-structures: inverting the Taylor expansion

Guerrieri, G., Pellissier, L. & Tortora de Falco, L., 2020, 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain. Fernandez, M. & Muscholl, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 152. p. 24:1–24:18 18 p. 24. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 152).

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

Open Access
2019

Crumbling abstract machines

Accattoli, B., Condoluci, A., Guerrieri, G. & Sacerdoti Coen, C., 7 Oct 2019, Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming, PPDP 2019. Association for Computing Machinery, a4. (ACM International Conference Proceeding Series).

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

2 Citations (Scopus)

Crumbling Abstract Machines

Accattoli, B., Condoluci, A., Guerrieri, G. & Sacerdoti Coen, C., 31 Oct 2019, PPDP '19: Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages: Porto, Portugal, October 7-9, 2019. Association for Computing Machinery, p. 4:1-4:15 15 p. 4

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

Factorization and Normalization, Essentially

Accattoli, B., Faggian, C. & Guerrieri, G., 31 Dec 2019, APLAS 2019: Programming Languages and Systems. Springer Verlag, p. 159–180 22 p. (Lecture Notes in Computer Science; vol. 11893).

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

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
1 Citation (Scopus)
17 Downloads (Pure)

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
5 Citations (Scopus)
2018

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

8 Citations (Scopus)
2017

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

9 Citations (Scopus)
2016

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

15 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

15 Citations (Scopus)
2015

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

8 Citations (Scopus)
2014

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

20 Citations (Scopus)