最大尊重函数
计算机科学中的逻辑
2019-03-14 v3
摘要
尊重函数由 Sangiorgi 引入，作为一种组合工具，用于构造简短清晰的互模拟证明。通常，尊重函数越大，互模拟证明越容易。特别地，最大尊重函数——定义为所有尊重函数的逐点并集——已被证明非常有用。本文给出了该函数的一个显式构造性刻画。
引用
@article{arxiv.1605.04136,
title = {The Largest Respectful Function},
author = {Joachim Parrow and Tjark Weber},
journal= {arXiv preprint arXiv:1605.04136},
year = {2019}
}