# Damiano Mazza

According to our database

Collaborative distances:

^{1}, Damiano Mazza authored at least 30 papers between 2005 and 2021.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2021

Proc. ACM Program. Lang., 2021

2020

Proc. ACM Program. Lang., 2020

Proceedings of the Functional and Logic Programming - 15th International Symposium, 2020

2019

Proc. ACM Program. Lang., 2019

2018

Proc. ACM Program. Lang., 2018

Math. Struct. Comput. Sci., 2018

2017

Math. Struct. Comput. Sci., 2017

2016

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

2015

Inf. Comput., 2015

A Functorial Bridge Between the Infinitary Affine Lambda-Calculus and Linear Logic.

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015

Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015

Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

2014

CoRR, 2014

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

Proceedings of the Programming Languages and Systems, 2014

2013

Proceedings of the Typed Lambda Calculi and Applications, 11th International Conference, 2013

Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

2012

CoRR, 2012

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

Proceedings of the Foundations of Software Science and Computational Structures, 2012

2010

Theor. Comput. Sci., 2010

2009

Observational Equivalence and Full Abstraction in the Symmetric Interaction Combinators

Log. Methods Comput. Sci., 2009

2007

Math. Struct. Comput. Sci., 2007

Observational Equivalence for the Interaction Combinators and Internal Separation.

Electron. Notes Theor. Comput. Sci., 2007

Proceedings of the Typed Lambda Calculi and Applications, 8th International Conference, 2007

Proceedings of the Logic for Programming, 2007

2006

Math. Struct. Comput. Sci., 2006

2005

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005