We stand with Ukraine  

Luca Maio

According to our database1, Luca Maio authored at least 2 papers in 2022.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
A Probabilistic Call-by-Need Lambda-Calculus - Extended Version.
[BibTeX]
[DOI]
David Sabel
,
Manfred Schmidt-Schauß
,
Luca Maio
CoRR, 2022

Contextual Equivalence in a Probabilistic Call-by-Need Lambda-Calculus.
[BibTeX]
[DOI]
David Sabel
,
Manfred Schmidt-Schauß
,
Luca Maio
Proceedings of the PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20, 2022


  Loading...