构想 发表于 2025-3-25 05:02:51
http://reply.papertrans.cn/16/1526/152548/152548_21.pngFILLY 发表于 2025-3-25 10:28:22
http://reply.papertrans.cn/16/1526/152548/152548_22.png让空气进入 发表于 2025-3-25 14:05:57
Fixed Points in Metric Spaceseas of mathematics. In Section 9.1 we prove a classical result due (essentially) to S. Banach that under appropriate hypotheses, an endomorphism . of a nonempty metric space has a unique fixed point .—indeed . is the limit (in the sense of ever decreasing distance) of the sequence ..,..,....,… with受人支配 发表于 2025-3-25 17:10:09
Functors combining, manipulating, and querying of such elements. A very rich supply of data types may be built—either directly or recursively—from finite sets using finite products and coproducts. Thus, if . is a character alphabet, . x . x . is “length 3 character arrays.” If pr.: . x . x . → . is the .thcritic 发表于 2025-3-25 22:29:46
http://reply.papertrans.cn/16/1526/152548/152548_25.pngB-cell 发表于 2025-3-26 02:06:14
Order Semantics of Data Typestics in which every data type is a domain and every computed function is continuous. We provide a critique of these basic assumptions in Section 1, but then proceed to develop an introduction to this theory of ordered semantics in the remaining sections.指派 发表于 2025-3-26 07:54:21
Equational Specifications of data types which arise as many-sorted algebras. An “equational specification” for a data type posits a many-sorted algebraic structure subject to a finite set of equations. What is attractive about this idea is that equational specifications are easily formalized within programming languages an合乎习俗 发表于 2025-3-26 11:15:09
http://reply.papertrans.cn/16/1526/152548/152548_28.pngorganic-matrix 发表于 2025-3-26 15:14:26
http://reply.papertrans.cn/16/1526/152548/152548_29.pngoptic-nerve 发表于 2025-3-26 18:13:36
http://reply.papertrans.cn/16/1526/152548/152548_30.png