Type theory and rewriting
<|reference_start|>Type theory and rewriting: We study the properties, in particular termination, of dependent types systems for lambda calculus and rewriting.<|reference_end|>
@article{blanqui2006type,
    title={Type theory and rewriting},
    author={Fr'ed'eric Blanqui (LRI)},
    journal={arXiv preprint arXiv:cs/0610068},
    year={2006},
    archivePrefix={arXiv},
    eprint={cs/0610068},
    primaryClass={cs.LO}
}