Author of the publication

The Shuffle Quasimonad and Modules with Differentiation and Integration.

, , , and . MFPS, volume 325 of Electronic Notes in Theoretical Computer Science, page 29-45. Elsevier, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Proof Nets and Coherence Theorems.. Category Theory and Computer Science, volume 530 of Lecture Notes in Computer Science, page 121-137. Springer, (1991)Bisimulation for Labelled Markov Processes., , , and . LICS, page 149-158. IEEE Computer Society, (1997)Conformal Field Theory as a Nuclear Functor., , and . Computation, Meaning, and Logic, volume 172 of Electronic Notes in Theoretical Computer Science, page 101-132. Elsevier, (2007)Finiteness Spaces and Generalized Power Series., , , and . MFPS, volume 341 of Electronic Notes in Theoretical Computer Science, page 5-22. Elsevier, (2018)Holomorhpic Models of Exponential Types in Linear Logic., , and . MFPS, volume 802 of Lecture Notes in Computer Science, page 474-512. Springer, (1993)! and ? - Storage as Tensorial Strength., , and . Math. Struct. Comput. Sci., 6 (4): 313-351 (1996)Linear Läuchli Semantics., and . Ann. Pure Appl. Log., 77 (2): 101-142 (1996)Differential categories., , and . Math. Struct. Comput. Sci., 16 (6): 1049-1083 (2006)The Logic of Linear Functors., , and . Math. Struct. Comput. Sci., 12 (4): 513-539 (2002)Softness of hypercoherences and MALL full completeness., , and . Ann. Pure Appl. Log., 131 (1-3): 1-63 (2005)