`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: Dawson:Jeremy_E=

### Contributed to:

### 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.
- IJCAR-2018-DawsonDG
- Well-Founded Unions (JED, ND, RG), pp. 117–133.