BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Collaborated with:
A.Tiu R.Goré R.Clouston
Talks about:
logic (2) intuitionist (1) interpol (1) syntact (1) sequent (1) tens (1) nest (1)

Person: Tim Lyon

DBLP DBLP: Lyon:Tim

Contributed to:

CSL 20202020

Wrote 1 papers:

CSL-2020-LyonTGC #logic
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents (TL, AT, RG, RC), p. 16.
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.