Implementing Constructive Real Analysis: Preliminary Report. - Jawahar Chirimar; Douglas J. Howe (Constructivity in Computer Science, 1991)

Provability in TBLL: A Decision Procedure. - Jawahar Chirimar; James Lipton (CSL, 1991)

Xpnet: A Graphical Interface to Proof Nets with an Efficient Proof Checker. - Jawahar Chirimar; Carl A. Gunter; Myra Van Inwegen (CADE, 1992)

Proving Memory Management Invariants for a Language Based on Linear Logic. - Jawahar Chirimar; Carl A. Gunter; Jon G. Riecke (LISP and Functional Programming, 1992)

Reference Counting as a Computational Interpretation of Linear Logic. - Jawahar Chirimar; Carl A. Gunter; Jon G. Riecke (J. Funct. Program., 1996)