Michele Pagani

Available identifiers

zbMath Open pagani.micheleMaRDI QIDQ409320

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q5351981	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
https://portal.mardi4nfdi.de/entity/Q2958517	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
Probabilistic coherence spaces are fully abstract for probabilistic PCF	2014-04-10	Paper
Applying quantitative semantics to higher-order quantum computing	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Michele Pagani