Juan Climent Vidal和Enric Cosme-Llópez：从高阶重写系统到高阶范畴代数和高阶Curry-Howard同构。(2024) 日记账/corr/abs-2402-12051 10.48550/ARXIV.2402.12051 从高阶重写系统到高阶范畴代数和高阶Curry-Howard同构。 2 胡安·克莱门特·维达尔 1 恩里克·科斯梅·洛佩斯 2 CoRR公司 CoRR公司 abs/2402.12051 2024 dblp记录“journals/corr/abs-2402-12051”的RDF数据的出处信息 2024-03-22T14:48:14+0100