.:. Browse > List by authors > Pagani .:.

9 documents ordered by : Date Title first author name document type Submit date

Visible acyclic differential nets, Part I: Semantics Pagani M. Annals of Pure and Applied Logic 163, 3 (2011) 238-265 [hal-00698973 - version 1]

The computational meaning of probabilistic coherent spaces Ehrhard T., Pagani M., Tasson C. In Logic in Computer Science (LICS), 2011 26th Annual IEEE Symposium on - Logic in Computer Science (LICS), Canada (2011) [hal-00627490 - version 1]

A semantic measure of the execution time in linear logic Pagani M. Theoretical Computer Science 412, 20 (2011) 1884-1902 [hal-00698976 - version 1]

Parallel Reduction in Resource Lambda-Calculus Pagani M. In Programming Languages and Systems, 7th Asian Symposium (APLAS 2009) - Programming Languages and Systems APLAS, Korea, Republic Of (2009) [hal-00699013 - version 1]

The Cut-Elimination Thereom for Differential Nets with Boxes Pagani M. In Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings - Typed Lambda-Calculi and Applications, Brazil (2009) [hal-00698974 - version 1]

Strong normalization property for second order linear logic Pagani M. Theoretical Computer Science 411 (2009) 410-444 [hal-00698979 - version 1]

The inverse Taylor expansion problem in linear logic Pagani M., Tasson C. In Proceedings of the 24th Symposium on Logic in Computer Science - Logic in Computer Science, United States (2009) [hal-00440684 - version 1]

A semantic measure of the execution time in Linear Logic De Carvalho D., Pagani M., Tortora De Falco L. Research report (2008) 48 [inria-00206099 - version 4]

Stream Associative Nets and Lambda-mu-calculus Pagani M., Saurin A. Research report (2008) 48 [inria-00221221 - version 3]