A. Fleury

From MaRDI portal
(Redirected from Person:1267840)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
scientific article; zbMATH DE number 2208067 (Why is no real title available?)2005-09-26Paper
Planar and braided proof-nets for multiplicative linear logic with mix
Archive for Mathematical Logic
1999-02-02Paper
The mix rule
Mathematical Structures in Computer Science
1994-08-14Paper


Research outcomes over time


This page was built for person: A. Fleury