LAIR
发表于 2025-3-28 15:53:58
L.-M. Shen,Z. Chen semantics in . is to provide a setting for thinking about algebraic types and algebraic operations in conjunction with logical types and polymorphic operations. Two specific examples are discussed and a general principle for combining algebraic and polymorphic operations is proposed.
过分
发表于 2025-3-28 22:01:06
S. Qu,Y. Huang,C. Liu,K. C. Hwang semantics in . is to provide a setting for thinking about algebraic types and algebraic operations in conjunction with logical types and polymorphic operations. Two specific examples are discussed and a general principle for combining algebraic and polymorphic operations is proposed.
Pert敏捷
发表于 2025-3-29 00:39:52
W. Yang,X.-L. Ma,H. T. Wang,W. Hong analysis (field Ω), .-adic functional analysis (algebras of Ω-valued functions), lattice theory , Lebesgue measure theory , Euclidean geometry , category theory and topoi , and so on. These relations deal with infinite ultrametric spaces (mainly separable). For applications
ventilate
发表于 2025-3-29 05:04:21
http://reply.papertrans.cn/47/4607/460636/460636_44.png
马赛克
发表于 2025-3-29 11:06:06
http://reply.papertrans.cn/47/4607/460636/460636_45.png
议程
发表于 2025-3-29 14:34:44
http://reply.papertrans.cn/47/4607/460636/460636_46.png
除草剂
发表于 2025-3-29 16:54:07
http://reply.papertrans.cn/47/4607/460636/460636_47.png
心胸开阔
发表于 2025-3-29 23:45:55
Y. Huo,I. Müllerld provide an equally rich and interesting supply of examples. We also had to restrict the themes in our theoretical exposition. In spite of the fact that closure operators generalize the uni versal closure operations of abelian category theory and of topos- and sheaf theory, we chose to mention these aspect978-90-481-4631-4978-94-015-8400-5
Host142
发表于 2025-3-30 02:57:44
http://reply.papertrans.cn/47/4607/460636/460636_49.png
nugatory
发表于 2025-3-30 07:11:23
Conference proceedings 2006model the mechanical behavior of solids especially at micron- and nano-scales. This volume is a collection of twenty five written contributions by distinguished invited speakers from seven countries to the IUTAM Symposium on Size Effects on Material and Structural Behavior at Micron- and Nano-scales