Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Pagani, Michele - Laboratoire Preuves, Programmes et Systèmes, Université Paris 7 - Denis Diderot
A Semantic Measure of the Execution Time in Linear Logic
Strong Normalization property for second order Linear Logic
The Cut-Elimination Theorem for Differential Nets with boxes
Universit a Roma Tre Universit e de la M editerran ee
injectivity denotational
Universit`a Roma Tre Universite de la Mediterranee
Michele Pagani Starting with
de recherche ISSN0249-6399ISRNINRIA/RR--6431--FR+ENG
Visible acyclic differential nets Part I: semantics
The Inverse Taylor Expansion Problem in Linear Logic Michele Pagani
Proofs, Denotational Semantics and Observational Equivalences in Multiplicative
nonuniform proofnets Michele
