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 × France
1 × Poland
Collaborated with:
Talks about:
rewrit (2) properti (1) termin (1) rosser (1) normal (1) depend (1) church (1) type (1) rule (1)

Person: Jianqi Li

DBLP DBLP: Li:Jianqi

Contributed to:

TLCA 20152015
CSL 20122012

Wrote 2 papers:

TLCA-2015-JouannaudL #termination
Termination of Dependently Typed Rewrite Rules (JPJ, JL), pp. 257–272.
Church-Rosser Properties of Normal Rewriting (JPJ, JL), pp. 350–365.

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.