Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Pietro Di Gianantonio
Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicity
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Lambda Calculus of Objects With Self-Inflicted Extension
ACM SIGPLAN Notices
Related publications
Cyclic Proofs for Linear Temporal Logic
On Multiplicative Linear Logic, Modality and Quantum Circuits
Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
Strongly Multiplicative and 3-Multiplicative Linear Secret Sharing Schemes
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Inequalities Characterizing Linear-Multiplicative Functionals
Journal of Function Spaces
Analysis
Linear Correlations of Multiplicative Functions
Proceedings of the London Mathematical Society
Mathematics
Multiplicative Perturbations of Linear Volterra Equations
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
Inner Approximation Algorithm for Generalized Linear Multiplicative Programming Problems
Journal of Inequalities and Applications
Combinatorics
Applied Mathematics
Analysis
Discrete Mathematics
Function Theory and Multiplicative Linear Functionals
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Natural Deduction for Intuitionistic Linear Logic
Annals of Pure and Applied Logic
Logic
