系统 AF2 的一个扩张中的完全类型
逻辑
2009-05-05 v1
摘要
本文扩张了系统 AF2，以使其具有 -归约的主 subject reduction 性质。我们证明，具有正量词的类型对于在弱头展开下稳定的模型是完全的。
引用
@article{arxiv.0905.0371,
title = {Complete Types in an Extension of the System AF2},
author = {Samir Farkh and Karim Nour},
journal= {arXiv preprint arXiv:0905.0371},
year = {2009}
}