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 × Italy
1 × Poland
Collaborated with:
R.Goré J.Brotherston N.Dershowitz R.Clouston A.Tiu
Talks about:
theorem (2) calculi (2) logic (2) intuitionist (1) substructur (1) interpol (1) sequent (1) general (1) display (1) termin (1)

Person: Jeremy E. Dawson

DBLP DBLP: Dawson:Jeremy_E=

Contributed to:

CSL 20132013
CSL 20042004
IJCAR 20162016
IJCAR 20182018

Wrote 4 papers:

CSL-2013-CloustonDGT #calculus #linear #logic
Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic (RC, JED, RG, AT), pp. 197–214.
CSL-2004-DawsonG #termination #theorem
A General Theorem on Termination of Rewriting (JED, RG), pp. 100–114.
IJCAR-2016-DawsonBG #calculus #logic #theorem #using
Machine-Checked Interpolation Theorems for Substructural Logics Using Display Calculi (JED, JB, RG), pp. 452–468.
Well-Founded Unions (JED, ND, RG), pp. 117–133.

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.