Giulio Guerrieri : Publications

A Semantical and Operational Account of Call−by−Value Solvability

Alberto Carraro and Giulio Guerrieri

In Anca Muscholl, editor, Foundations of Software Science and Computation Structures − 17th International Conference‚ FOSSACS 2014‚ Held as Part of the European Joint Conferences on Theory and Practice of Software‚ ETAPS 2014‚ Grenoble‚ France‚ April 5−13‚ 2014‚ Proceedings. Vol. 8412 of Lecture Notes in Computer Science. Pages 103–118. Springer. 2014.

Details about A Semantical and Operational Account of Call−by−Value Solvability | BibTeX data for A Semantical and Operational Account of Call−by−Value Solvability | DOI (10.1007/978-3-642-54830-7) | Link to A Semantical and Operational Account of Call−by−Value Solvability

Standardization of a Call−By−Value Lambda−Calculus

Giulio Guerrieri‚ Luca Paolini and Simona Ronchi Della Rocca

In Thorsten Altenkirch, editor, 13th International Conference on Typed Lambda Calculi and Applications‚ TLCA 2015‚ July 1−3‚ 2015‚ Warsaw‚ Poland. Vol. 38 of LIPIcs. Pages 211–225. Schloss Dagstuhl − Leibniz−Zentrum fuer Informatik. 2015.

Details about Standardization of a Call−By−Value Lambda−Calculus | BibTeX data for Standardization of a Call−By−Value Lambda−Calculus | DOI (10.4230/LIPIcs.TLCA.2015.211) | Link to Standardization of a Call−By−Value Lambda−Calculus

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

Giulio Guerrieri

In Yuki Chiba‚ Santiago Escobar‚ Naoki Nishida‚ David Sabel and Manfred Schmidt−Schauß, editors, 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation‚ WPTE 2015‚ July 2‚ 2015‚ Warsaw‚ Poland. Vol. 46 of OASICS. Pages 3–17. Schloss Dagstuhl − Leibniz−Zentrum fuer Informatik. 2015.

Details about Head reduction and normalization in a call−by−value lambda−calculus | BibTeX data for Head reduction and normalization in a call−by−value lambda−calculus | DOI (10.4230/OASIcs.WPTE.2015.3) | Link to Head reduction and normalization in a call−by−value lambda−calculus

Computing Connected Proof(−Structure)s From Their Taylor Expansion

Giulio Guerrieri‚ Luc Pellissier and Lorenzo Tortora de Falco

In Delia Kesner and Brigitte Pientka, editors, 1st International Conference on Formal Structures for Computation and Deduction‚ FSCD 2016‚ June 22−26‚ 2016‚ Porto‚ Portugal. Vol. 52 of LIPIcs. Pages 20:1–20:18. Schloss Dagstuhl − Leibniz−Zentrum fuer Informatik. 2016.

Details about Computing Connected Proof(−Structure)s From Their Taylor Expansion | BibTeX data for Computing Connected Proof(−Structure)s From Their Taylor Expansion | DOI (10.4230/LIPIcs.FSCD.2016.20) | Link to Computing Connected Proof(−Structure)s From Their Taylor Expansion

The Bang Calculus: an untyped lambda−calculus generalizing call−by−name and call−by−value

Thomas Ehrhard and Giulio Guerrieri

In James Cheney and Germán Vidal, editors, Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming‚ Edinburgh‚ United Kingdom‚ September 5−7‚ 2016. Pages 174–187. ACM. 2016.

Details about The Bang Calculus: an untyped lambda−calculus generalizing call−by−name and call−by−value | BibTeX data for The Bang Calculus: an untyped lambda−calculus generalizing call−by−name and call−by−value | DOI (10.1145/2967973) | Link to The Bang Calculus: an untyped lambda−calculus generalizing call−by−name and call−by−value

Open Call−by−Value

Beniamino Accattoli and Giulio Guerrieri

In Atsushi Igarashi, editor, Programming Languages and Systems − 14th Asian Symposium‚ APLAS 2016‚ Hanoi‚ Vietnam‚ November 21−23‚ 2016‚ Proceedings. Vol. 10017 of Lecture Notes in Computer Science. Pages 206–226. 2016.

Details about Open Call−by−Value | BibTeX data for Open Call−by−Value | DOI (10.1007/978-3-319-47958-3) | Link to Open Call−by−Value