Dirk Roorda

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1994

2 Dirk Roorda: Interpolation in Fragments of Classical Linear Logic. J. Symb. Log. 59(2): 419-444 (1994)

1992

1 Dirk Roorda: Proof Nets for Lambek Calculus. J. Log. Comput. 2(2): 211-231 (1992)

1994
2		Dirk Roorda: Interpolation in Fragments of Classical Linear Logic. J. Symb. Log. 59(2): 419-444 (1994)
1992
1		Dirk Roorda: Proof Nets for Lambek Calculus. J. Log. Comput. 2(2): 211-231 (1992)