Travelled to:1 × France
1 × Poland
Collaborated with:J.Jouannaud
Talks about:rewrit (2) properti (1) termin (1) rosser (1) normal (1) depend (1) church (1) type (1) rule (1)
Person: Jianqi Li
DBLP: Li:Jianqi
Contributed to:
2015
2012Wrote 2 papers:
- TLCA-2015-JouannaudL #termination
- Termination of Dependently Typed Rewrite Rules (JPJ, JL), pp. 257–272.
- CSL-2012-JouannaudL
- Church-Rosser Properties of Normal Rewriting (JPJ, JL), pp. 350–365.