Stefano Guerrini

Margherita Zorzi

J. Appl. Non Class. Logics, April, 2023

2021

Proof Nets for Classical Logic.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 2021

2020

Quantum Discrimination of Noisy Photon-Added Coherent States.

[BibT_eX]

[DOI]

IEEE J. Sel. Areas Inf. Theory, 2020

Quantum Pulse Position Modulation with Photon-Added Squeezed States.

[BibT_eX]

[DOI]

Proceedings of the IEEE Globecom Workshops, 2020

2019

Quantum Pulse Position Modulation with Photon-Added Coherent States.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE Globecom Workshops, Waikoloa, HI, USA, December 9-13, 2019, 2019

2018

Secure Key Throughput of Intermittent Trusted-Relay QKD Protocols.

[BibT_eX]

[DOI]

Marco Chiani

Andrea Conti

Proceedings of the IEEE Globecom Workshops, 2018

2017

Computing with lambda-terms: A special issue dedicated to Corrado Böhm for his 90th birthday.

[BibT_eX]

[DOI]

Henk Barendrengt

Adolfo Piperno

Math. Struct. Comput. Sci., 2017

Quantum Turing Machines Computations and Measurements.

[BibT_eX]

[DOI]

CoRR, 2017

Is the Optimal Implementation Inefficient? Elementarily Not.

[BibT_eX]

[DOI]

Marco Solieri

Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017

2016

Linear β-reduction.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fourth International Workshop on Linearity, 2016

2015

Towards A Theory Of Quantum Computability.

[BibT_eX]

[DOI]

CoRR, 2015

2011

A linear algorithm for MLL proof net correctness and sequentialization.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

2009

Proofs, tests and continuation passing style.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2009

Jumping Boxes.

[BibT_eX]

[DOI]

Beniamino Accattoli

Proceedings of the Computer Science Logic, 23rd international Workshop, 2009

2006

Continuations, proofs and tests

[BibT_eX]

[DOI]

CoRR, 2006

Commutative Locative Quantifiers for Multiplicative Linear Logic.

[BibT_eX]

[DOI]

Patrizia Marzuoli

Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006

2004

Sharing Implementations of Graph Rewriting Systems.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Term Graph Rewriting, 2004

2003

Coherence for sharing proof-nets.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

2001

Proof nets, garbage, and computations.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2001

Parsing MELL proof nets.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2001

1999

A General Theory of Sharing Graphs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1999

Strong Normalization of Proof Nets Modulo Structural Congruences.

[BibT_eX]

[DOI]

Roberto Di Cosmo

Proceedings of the Rewriting Techniques and Applications, 10th International Conference, 1999

Correctness of Multiplicative Proof Nets Is Linear.

[BibT_eX]

[DOI]

Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999

1998

An Analysis of (Linear) Exponentials Based on Extended Sequents.

[BibT_eX]

[DOI]

Log. J. IGPL, 1998

The optimal implementation of functional programming languages.

[BibT_eX]

Andrea Asperti

Cambridge tracts in theoretical computer science 45, Cambridge University Press, ISBN: 978-0-521-62112-0, 1998

1994

Lambda-Definition of Function(al)s by Normal Forms.

[BibT_eX]

[DOI]

Corrado Böhm

Adolfo Piperno