Giulio Guerrieri

Dr

  • 1 WEST 4.56

Accepting Doctoral Students

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

Search results

  • 2021

    A deep quantitative type system

    Guerrieri, G., Heijltjes, W. & Paulus, J., 13 Jan 2021, 29th EACSL Annual Conference on Computer Science Logic: CSL 2021. 2021 ed. Dagstuhl, Germany: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 183. p. 24:1-24:24 24 p. (Leibniz International Proceedings in Informations (LIPIcs)).

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

    Open Access
    File
    43 Downloads (Pure)
  • Categorifying Non-Idempotent Intersection Types

    Guerrieri, G. & Olimpieri, F., 15 Jan 2021, 29th EACSL Annual Conference on Computer Science Logic (CSL 2021). Baier, C. & Goubault-Larrecq, J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 25:1-25:24 24 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 183).

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

    Open Access
  • Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic

    Faggian, C. & Guerrieri, G., 2021, 24th International Conference on Foundations of Software Science and Computation Structures, FoSSaCS 2021. Springer Verlag, (Lecture Notes in Computer Science).

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

  • Factorize Factorization

    Accattoli, B., Faggian, C. & Guerrieri, G., 15 Jan 2021, 29th EACSL Annual Conference on Computer Science Logic (CSL 2021). Baier, C. & Goubault-Larrecq, J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 6:1-6:25 25 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 183).

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

    Open Access
  • 2020

    Decomposing probabilistic lambda-calculi

    Dal Lago, U., Guerrieri, G. & Heijltjes, W., 17 Apr 2020, Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020 Dublin, Ireland, April 25–30, 2020, Proceedings. Jean, G-L. & König, B. (eds.). Cham: Springer, Vol. 12077. p. 136-156 21 p. (Lecture Notes in Computer Science; vol. 12077).

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

    Open Access
  • Glueability 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: Porto, Portugal, October 7-9, 2019. Association for Computing Machinery, p. 4:1-4:15 15 p. 4. (ACM International Conference Proceeding Series).

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

    4 Citations (Scopus)
  • 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., 1 Jul 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)
    22 Downloads (Pure)
  • Types by Need

    Accattoli, B., Guerrieri, G. & Leberle, M., 29 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
    9 Citations (Scopus)
  • 2018

    Types of Fireballs

    Accattoli, B. & Guerrieri, G., 15 Nov 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

    11 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

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

    17 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

    17 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

    21 Citations (Scopus)