Michele Pagani

Available identifiers

zbMath Open pagani.micheleMaRDI QIDQ409320

List of research outcomes

Publication	Date of Publication	Type
The sum-product algorithm for quantitative multiplicative linear logic	2024-10-21	Paper
https://portal.mardi4nfdi.de/entity/Q5089028	2022-07-18	Paper
The Benefit of Being Non-Lazy in Probabilistic λ-calculus	2021-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q3300796	2020-07-30	Paper
Strong adequacy and untyped full-abstraction for probabilistic coherence spaces	2020-01-28	Paper
New Semantical Insights Into Call-by-Value λ-Calculus	2020-01-24	Paper
Full Abstraction for Probabilistic PCF	2018-12-06	Paper
The conservation theorem for differential nets	2017-09-28	Paper
Modelling Coeffects in the Relational Semantics of Linear Logic	2017-08-31	Paper
Weighted Relational Models of Typed Lambda-Calculi	2017-07-03	Paper
The Free Exponential Modality of Probabilistic Coherence Spaces	2017-05-19	Paper
A characterization of the Taylor expansion of lambda-terms	2017-02-02	Paper
Strong Normalizability as a Finiteness Structure via the Taylor Expansion of $$\lambda $$ λ -terms	2016-06-10	Paper
Call-by-Value Non-determinism in a Linear Logic Type Discipline	2015-12-11	Paper
Applying quantitative semantics to higher-order quantum computing	2014-04-10	Paper
Probabilistic coherence spaces are fully abstract for probabilistic PCF	2014-04-10	Paper
Visible acyclic differential nets. I: Semantics	2012-04-13	Paper
Böhm’s Theorem for Resource Lambda Calculus through Taylor Expansion	2011-06-17	Paper
Linearity, Non-determinism and Solvability	2011-05-18	Paper
A semantic measure of the execution time in linear logic	2011-05-10	Paper
Solvability in Resource Lambda-Calculus	2010-04-27	Paper
Strong normalization property for second order linear logic	2009-12-15	Paper
The Cut-Elimination Theorem for Differential Nets with Promotion	2009-07-07	Paper
Acyclicity and Coherence in Multiplicative Exponential Linear Logic	2009-03-12	Paper
The Separation Theorem for Differential Interaction Nets	2008-05-15	Paper
Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic	2007-06-04	Paper

Research outcomes over time

This page was built for person: Michele Pagani