简单类型 $\lambda\mu$-演算强规范化的一个简短证明
逻辑
2009-05-12 v1
摘要
我们给出了 Parigot 的简单类型 -演算强规范化的一个初等且纯算术的证明。
关键词
引用
@article{arxiv.0905.1557,
title = {A short proof of the strong normalization of the simply typed $\lambda\mu$-calculus},
author = {René David and Karim Nour},
journal= {arXiv preprint arXiv:0905.1557},
year = {2009}
}