BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Czech Republic
1 × Estonia
1 × France
1 × Norway
1 × Poland
1 × Spain
1 × USA
2 × United Kingdom
Collaborated with:
F.Pfenning N.Guenot Y.Wang S.Hetzl D.Miller L.Straßburger G.Price A.Gacek G.Nadathur D.Doligez L.Lamport S.Merz
Talks about:
logic (4) calculus (3) method (3) invers (3) focus (3) character (2) structur (2) classic (2) linear (2) proof (2)

Person: Kaustuv Chaudhuri

DBLP DBLP: Chaudhuri:Kaustuv

Contributed to:

TLCA 20152015
CSL-LICS 20142014
PPDP 20132013
CSL 20122012
CSL 20112011
CSL 20102010
IJCAR 20102010
IJCAR 20062006
CADE 20052005
CSL 20052005

Wrote 10 papers:

TLCA-2015-WangC #independence #type system
A Proof-theoretic Characterization of Independence in Type Theory (YW, KC), pp. 332–346.
LICS-CSL-2014-ChaudhuriG #calculus #fixpoint #similarity
Equality and fixpoints in the calculus of structures (KC, NG), p. 10.
PPDP-2013-WangCGN #higher-order #reasoning #relational #specification
Reasoning about higher-order relational specifications (YW, KC, AG, GN), pp. 157–168.
CSL-2012-ChaudhuriHM #approach #calculus
A Systematic Approach to Canonicity in the Classical Sequent Calculus (KC, SH, DM), pp. 183–197.
CSL-2011-ChaudhuriGS #calculus
The Focused Calculus of Structures (KC, NG, LS), pp. 159–173.
CSL-2010-Chaudhuri #logic
Classical and Intuitionistic Subexponential Logics Are Equally Expressive (KC), pp. 185–199.
IJCAR-2010-ChaudhuriDLM #proving #safety #verification
Verifying Safety Properties with the TLA+ Proof System (KC, DD, LL, SM), pp. 142–148.
IJCAR-2006-ChaudhuriPP #logic
A Logical Characterization of Forward and Backward Chaining in the Inverse Method (KC, FP, GP), pp. 97–111.
CADE-2005-ChaudhuriP #first-order #linear #logic #proving #theorem proving
A Focusing Inverse Method Theorem Prover for First-Order Linear Logic (KC, FP), pp. 69–83.
CSL-2005-ChaudhuriP #linear #logic
Focusing the Inverse Method for Linear Logic (KC, FP), pp. 200–215.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.