Michele Pagani
Michele Pagani
Professor of Computer Science, Université de Paris
Verified email at irif.fr - Homepage
Cited by
Cited by
Applying quantitative semantics to higher-order quantum computing
M Pagani, P Selinger, B Valiron
ACM SIGPLAN Notices 49 (1), 647-658, 2014
Probabilistic coherence spaces are fully abstract for probabilistic PCF
T Ehrhard, C Tasson, M Pagani
ACM SIGPLAN Notices 49 (1), 309-320, 2014
Weighted relational models of typed lambda-calculi
J Laird, G Manzonetto, G McCusker, M Pagani
Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer …, 2013
A semantic measure of the execution time in linear logic
D De Carvalho, M Pagani, LT De Falco
Theoretical Computer Science 412 (20), 1884-1902, 2011
Solvability in Resource Lambda-Calculus.
M Pagani, SR Della Rocca
FOSSACS 6014, 358-373, 2010
The computational meaning of probabilistic coherence spaces
T Ehrhard, M Pagani, C Tasson
Logic in Computer Science (LICS), 2011 26th Annual IEEE Symposium on, 87-96, 2011
Parallel Reduction in Resource Lambda-Calculus.
M Pagani, P Tranquilli
APLAS 5904, 226-242, 2009
Linearity, non-determinism and solvability
M Pagani, SRD Rocca
Fundamenta Informaticae 103 (1-4), 173-202, 2010
Strong normalization property for second order linear logic
M Pagani, LT de Falco
Theoretical Computer Science 411 (2), 410-444, 2010
The separation theorem for differential interaction nets
D Mazza, M Pagani
International Conference on Logic for Programming Artificial Intelligence …, 2007
The Cut-Elimination Theorem for Differential Nets with Promotion.
M Pagani
TLCA 5608, 219-233, 2009
Strong Normalizability as a Finiteness Structure via the Taylor Expansion of\ lambda-terms
M Pagani, C Tasson, L Vaux
International Conference on Foundations of Software Science and Computation …, 2016
Call-by-value non-determinism in a linear logic type discipline
A Díaz-Caro, G Manzonetto, M Pagani
International Symposium on Logical Foundations of Computer Science, 164-178, 2013
The inverse Taylor expansion problem in linear logic
M Pagani, C Tasson
Logic In Computer Science, 2009. LICS'09. 24th Annual IEEE Symposium on, 222-231, 2009
Acyclicity and coherence in multiplicative exponential linear logic
M Pagani
International Workshop on Computer Science Logic, 531-545, 2006
Modelling coeffects in the relational semantics of linear logic
F Breuvart, M Pagani
LIPIcs-Leibniz International Proceedings in Informatics 41, 2015
Böhm’s theorem for resource lambda calculus through Taylor expansion
G Manzonetto, M Pagani
Typed Lambda Calculi and Applications, 153-168, 2011
The Free Exponential Modality of Probabilistic Coherence Spaces
R Crubillé, T Ehrhard, M Pagani, C Tasson
International Conference on Foundations of Software Science and Computation …, 2017
The conservation theorem for differential nets
M Pagani, P Tranquilli
Mathematical Structures in Computer Science, 1-54, 2015
Proofs, denotational semantics and observational equivalences in multiplicative linear logic
M Pagani
Mathematical Structures in Computer Science 17 (2), 341-359, 2007
The system can't perform the operation now. Try again later.
Articles 1–20