Jawahar Chirimar

Reference counting as a computational interpretation of linear logic

Carl A. Gunter, Jawahar Chirimar, Jon G. Riecke, 1996, Journal of Functional Programming.

Proof theoretic approach to specification languages

Jawahar Chirimar, Jawahar Chirimar, 1995 .

Provability in TBLL: A Decision Procedure

Jawahar Chirimar, James Lipton, James Lipton, 1991, CSL.

Proving memory management invariants for a language based on linear logic

Carl A. Gunter, Jawahar Chirimar, Jon G. Riecke, 1992, LFP '92.

Xpnet: A Graphical Interface to Proof Nets with an Efficient Proof Checker

Carl A. Gunter, Jawahar Chirimar, Myra Van Inwegen, 1992, CADE.

Implementing Constructive Real Analysis: Preliminary Report

Jawahar Chirimar, Douglas J. Howe, Jawahar Chirimar, 1992, Constructivity in Computer Science.