2001 | ||
---|---|---|
4 | Mario Piazza: Exchange Rules. J. Symb. Log. 66(2): 509-516 (2001) | |
3 | Richard Moot, Mario Piazza: Linguistic Applications of First Order Intuitionistic Linear Logic. Journal of Logic, Language and Information 10(2): 211-232 (2001) | |
1998 | ||
2 | Maurizio Castellan, Mario Piazza: Saturated Formulas in Full Linear Logic. J. Log. Comput. 8(5): 665-668 (1998) | |
1996 | ||
1 | Mario Piazza, Maurizio Castellan: Quantales and Structural Rules. J. Log. Comput. 6(5): 709-724 (1996) |
1 | Maurizio Castellan | [1] [2] |
2 | Richard Moot | [3] |