GENUS
发表于 2025-3-26 21:07:15
http://reply.papertrans.cn/31/3043/304247/304247_31.png
diskitis
发表于 2025-3-27 03:49:12
http://reply.papertrans.cn/31/3043/304247/304247_32.png
detach
发表于 2025-3-27 06:56:18
http://reply.papertrans.cn/31/3043/304247/304247_33.png
贵族
发表于 2025-3-27 11:46:23
A mixed modal/linear lambda calculus with applications to bellantoni-cook safe recursion,ications are based on an interpretation of the lambda calculus in a category-theoretic model in which all functions are polynomial time computable by construction. The details of this interpretation are not the main subject of this paper and will appear elsewhere.
Laconic
发表于 2025-3-27 17:17:49
http://reply.papertrans.cn/31/3043/304247/304247_35.png
finale
发表于 2025-3-27 21:31:06
http://reply.papertrans.cn/31/3043/304247/304247_36.png