Alessandro Rioli

According to our database¹, Alessandro Rioli authored at least 3 papers between 2015 and 2016.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2016

Coinductive Techniques on a Linear Quantum λ-Calculus.

[BibT_eX]

[DOI]

PhD thesis, 2016

2015

Applicative Bisimulation and Quantum λ-Calculi (Long Version).

[BibT_eX]

[DOI]

CoRR, 2015

Applicative Bisimulation and Quantum λ-Calculi.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015