| |
| 1996 | ||
|---|---|---|
| 5 | Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke: Reference Counting as a Computational Interpretation of Linear Logic. J. Funct. Program. 6(2): 195-244 (1996) | |
| 1992 | ||
| 4 | Jawahar Chirimar, Carl A. Gunter, Myra Van Inwegen: Xpnet: A Graphical Interface to Proof Nets with an Efficient Proof Checker. CADE 1992: 711-715 | |
| 3 | EE | Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke: Proving Memory Management Invariants for a Language Based on Linear Logic. LISP and Functional Programming 1992: 139-150 |
| 1991 | ||
| 2 | Jawahar Chirimar, James Lipton: Provability in TBLL: A Decision Procedure. CSL 1991: 53-67 | |
| 1 | Jawahar Chirimar, Douglas J. Howe: Implementing Constructive Real Analysis: Preliminary Report. Constructivity in Computer Science 1991: 165-178 | |
| 1 | Carl A. Gunter | [3] [4] [5] |
| 2 | Douglas J. Howe | [1] |
| 3 | Myra Van Inwegen | [4] |
| 4 | James Lipton | [2] |
| 5 | Jon G. Riecke | [3] [5] |