# Michele Pagani

According to our database

Collaborative distances:

^{1}, Michele Pagani authored at least 34 papers between 2006 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

Log. Methods Comput. Sci., 2020

CoRR, 2020

The Benefit of Being Non-Lazy in Probabilistic λ-calculus: Applicative Bisimulation is Fully Abstract for Non-Lazy Probabilistic Call-by-Name.

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

2019

Fundam. Informaticae, 2019

The Discriminating Power of the Let-In Operator in the Lazy Call-by-Name Probabilistic lambda-Calculus.

Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

Proceedings of the Foundations of Software Science and Computation Structures, 2019

2018

Measurable cones and stable, measurable functions: a model for probabilistic higher-order programming.

Proc. ACM Program. Lang., 2018

J. ACM, 2018

2017

Math. Struct. Comput. Sci., 2017

CoRR, 2017

Proceedings of the Foundations of Software Science and Computation Structures, 2017

2016

Strong Normalizability as a Finiteness Structure via the Taylor Expansion of λ-terms.

CoRR, 2016

Strong Normalizability as a Finiteness Structure via the Taylor Expansion of \lambda λ -terms.

Proceedings of the Foundations of Software Science and Computation Structures, 2016

2015

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

2014

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2013

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2013

Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013

2012

Ann. Pure Appl. Log., 2012

2011

Theor. Comput. Sci., 2011

Proceedings of the Typed Lambda Calculi and Applications - 10th International Conference, 2011

Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, 2011

2010

Theor. Comput. Sci., 2010

Fundam. Informaticae, 2010

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

2009

Proceedings of the Typed Lambda Calculi and Applications, 9th International Conference, 2009

Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, 2009

Proceedings of the Programming Languages and Systems, 7th Asian Symposium, 2009

2007

Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic.

Math. Struct. Comput. Sci., 2007

Proceedings of the Logic for Programming, 2007

2006

Proceedings of the Computer Science Logic, 20th International Workshop, 2006