线性逻辑中图灵机的编码
逻辑
2020-06-24 v1
摘要
我们给出直觉主义线性逻辑中图灵机步函数的几种不同编码，并在 Sweedler 语义中计算这些编码的指称。
关键词
引用
@article{arxiv.1805.10770,
title = {Encodings of Turing machines in Linear Logic},
author = {James Clift and Daniel Murfet},
journal= {arXiv preprint arXiv:1805.10770},
year = {2020}
}
备注
50 pages