Type theory and rewriting
计算机科学中的逻辑
2016-08-16 v2
摘要
We study the properties, in particular termination, of dependent types systems for lambda calculus and rewriting.
引用
@article{arxiv.cs/0610068,
title = {Type theory and rewriting},
author = {Frédéric Blanqui},
journal= {arXiv preprint arXiv:cs/0610068},
year = {2016}
}
备注
English version of my PhD thesis