Arnaud Fleury

Publication Activity (10 Years)

Years Active: 1994-1998
Publications (10 Years): 0

Publications

Gianluigi Bellin, Arnaud Fleury
Planar and braided proof-nets for multiplicative linear logic with mix. Arch. Math. Log. 37 (5-6) (1998)
Arnaud Fleury, Christian Retoré
The Mix Rule. Math. Struct. Comput. Sci. 4 (2) (1994)