G. Bellin

List of publications from the DBLP Bibliography Server - FAQ

1998

1 EE G. Bellin, A. Fleury: Planar and braided proof-nets for multiplicative linear logic with mix. Arch. Math. Log. 37(5-6): 309-325 (1998)

1998
1	EE	G. Bellin, A. Fleury: Planar and braided proof-nets for multiplicative linear logic with mix. Arch. Math. Log. 37(5-6): 309-325 (1998)

Coauthor Index