Ceremony
发表于 2025-3-26 21:41:41
Monads and modular term rewriting,ms. This paper provides further support for monadic semantics of rewriting by giving a categorical proof of the most general theorem concerning the modularity of strong normalisation. In the process, we improve upon the technical aspects of earlier work.
任意
发表于 2025-3-27 03:18:58
A deciding algorithm for linear isomorphism of types with complexity ,(,,(,)).,ne of the reasons to consider linear isomorphism of types instead of ordinary isomorphism was that better complexity could be expected. Meanwhile, no upper bounds reasonnably close to linear were obtained. We describe an algorithm deciding if two types are linearly isomorphic with complexity .(..(.)).
过于光泽
发表于 2025-3-27 07:46:45
http://reply.papertrans.cn/23/2226/222559/222559_33.png
SAGE
发表于 2025-3-27 09:52:06
http://reply.papertrans.cn/23/2226/222559/222559_34.png
CRANK
发表于 2025-3-27 17:00:44
http://reply.papertrans.cn/23/2226/222559/222559_35.png
原来
发表于 2025-3-27 20:35:51
First Interlude: A Contingent Irruptionrs”. These lifted functors are used to formulate our proof principles. We test these principles by proving some elementary results for four kinds of trees (with finite or infinite breadth or depth) using the proof tool Pvs.
消毒
发表于 2025-3-28 01:13:04
http://reply.papertrans.cn/23/2226/222559/222559_37.png
PAEAN
发表于 2025-3-28 05:09:50
The Idea of Noir: Fiction, Signifier, Genrepproach to partiality seems new in the literature on categories of partial maps, although it is certainly implicit in the computational point of view, and it relates directly to the question of modularity.
有罪
发表于 2025-3-28 10:05:57
http://reply.papertrans.cn/23/2226/222559/222559_39.png
联想记忆
发表于 2025-3-28 10:27:52
An introduction to ,-categories, for . < . is an equivalence if it is invertible up to a (. + 1)-morphism that is an equivalence.) We discuss applications of weak .-categories to various subjects including homotopy theory and topological quantum field theory, and review the definition of weak .-categories recently proposed by Dolan and the author.