不连贯的连贯性
计算机科学中的逻辑
2022-01-24 v1
摘要
本文探讨了一个良类型且良作用域的语法通用框架，其采用类似传统抽象代数的签名—公理方法。在定义语法上的运算时所需的样板代码被识别并抽象出来。一些常见的样板证明也得到了推广。
引用
@article{arxiv.2201.08811,
title = {Incoherent coherences},
author = {Xu Huang},
journal= {arXiv preprint arXiv:2201.08811},
year = {2022}
}
备注
12 pages