延期
发表于 2025-3-28 14:34:36
http://reply.papertrans.cn/59/5881/588022/588022_41.png
独特性
发表于 2025-3-28 22:13:25
http://reply.papertrans.cn/59/5881/588022/588022_42.png
小样他闲聊
发表于 2025-3-29 02:18:23
http://reply.papertrans.cn/59/5881/588022/588022_43.png
extinct
发表于 2025-3-29 06:31:57
http://reply.papertrans.cn/59/5881/588022/588022_44.png
构想
发表于 2025-3-29 08:09:48
http://reply.papertrans.cn/59/5881/588022/588022_45.png
dowagers-hump
发表于 2025-3-29 13:17:34
http://reply.papertrans.cn/59/5881/588022/588022_46.png
连累
发表于 2025-3-29 16:29:39
http://reply.papertrans.cn/59/5881/588022/588022_47.png
诱使
发表于 2025-3-29 21:30:31
Normal Forms and Cut-Free Proofs as Natural Transformations,meaning of cut-elimination and asymmetrical interpretations of cut-free proofs. This viewpoint is connected to Reynolds’ relational interpretation of parametricity (, ), and to the Kelly-Lambek-Mac Lane-Mints approach to coherence problems in category theory.
AGOG
发表于 2025-3-30 02:16:47
http://reply.papertrans.cn/59/5881/588022/588022_49.png
Indicative
发表于 2025-3-30 06:54:49
5楼