一种更通用的范畴论框架用于应用互模拟的同余性
计算机科学中的逻辑
2023-03-22 v1 范畴论
摘要
我们证明了高阶语言中互模拟的一个通用同余结果，该结果将先前的工作推广到由标记转移系统指定的语言，其中程序可作为标记出现，并且可能依赖于除避免捕获的替换之外的项上的运算。对于PCF、带定界续延的-演算以及高阶进程演算中的早期风格互模拟，通常就是这种情况。
引用
@article{arxiv.2303.11679,
title = {A more general categorical framework for congruence of applicative bisimilarity},
author = {Tom Hirschowitz and Ambroise Lafont},
journal= {arXiv preprint arXiv:2303.11679},
year = {2023}
}