| 词汇 | example_english_binder |
| 释义 | Examples of binderThese examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. Further, assume that the simplification operation is to be applied to two terms t and r whose head normal forms have identical binders. The explicit binders are retained for compatibility with legacy code, and because they are conceptually easier for novice users to understand. The explicit binders have an additional capability: if one binds all of a function's arguments, a zero-argument functoid (a thunk) is returned. The key idea is to represent variables and binders of object languages with variables and binders of a metalanguage based on some type-theoretic -calculus. Moreover, we prove that suitable structural induction and recursion principles over terms with binders and even term contexts are validated by this model. One source of information is binder's volumes (books comprised of several editions bound together in sets of partbooks according to voice type). Object variables and binders are implemented by variables and binders in the host language. We next give a restriction on variable binders. Marks are simply string constants, not binders subject to alpha equivalence, as they themselves need to be dynamically rebound. Categorical models of languages with binders and local names have been around for a while. The notions of free and bound variables of g -graphs take into account the three binders of the calculus: abstraction, recursion and match. First, we have to pay attention that the free variables of one module are not captured by the binders of the other (side condition). In order to supply sufficiently many fresh names, one has therefore to compute the maximal number of binders along the paths in the process tree. Table 3 presents the functions used to compute the free names of a process, as well as its depth of binders. Figure 1 shows the hierarchy of features related to variables and binders. As a result, every well-formed process with binders would be transformed into an exotic process-abstraction. Using abstraction and application one could replace binders with higher-order constants, but binders are preferable in the absence of functional types. Despite the above-mentioned work, modern type systems with unified binders have still not been investigated. Section 2 presents the basic notions of reduction and typing and relates flat terms (where binders are unified) to ordinary terms. Often, binders and volatiles also appear in epoxies that may disperse during the curing phase. The unquoted s in the first pair of expressions act as binders, but the quoted s in the second pair of expressions do not; they act like syntax constructors. However, the divergence is quite limited as two terms obtained by -reduction can reduce to two terms differing only by the types labeling binders in lambda-abstractions. Calcium-based phosphate binders may lead to hypercalcaemia. However, the identification of certain object-variables with meta-variables to implement binders, introduces a form of shallowness into the formalization that clearly distinguishes it from a purely deep embedding. Even more telling than binder's volumes, the manuscript additions in early printed books occasionally cross the generic boundaries established by the print or prints they accompany. Since we now know the precise form of goal systems which may occur, bound variables as arguments and binders are sometimes omitted in goal systems if no ambiguities may arise. The columns show what proportion of binders required zero, one, two, 3-9 and 10 or more attempts, to find a variable name that was not already in scope. In particular, it solves the problem of the notorious -rule, which asserts that equations should be preserved under binders, and which fails to be sound for the usual interpretation. I would like to ask one supplementary question about binders being manufactured by one firm only. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 There are not enough means by which we can get, for instance, skilled book-binders. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 Binders, hay mowers and threshing machines have already been mentioned. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 Now when you come to the corn the binders can only get to work when the corn is dry. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 The result was a great many binders were employed. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 Unfortunately, the clowns and the acrobats have been picked up at times and have been turned into spell binders. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 The number of skilled printers and binders is likely tobe 10,000 fewer than before the war. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 Is there any hope in the future that more firms will manufacture binders? From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 One thousand and forty binders were imported, in addition to 460 machines carried forward from the previous year. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 About 1,000 new imported binders arc expected to be available for the 1947 harvest. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 Without furfuryl alcohol, from which furin binders are made, these industries could not use their present advanced and highly efficient techniques. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 There are some 2,500 cases, and they are kept in 11 different binders. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 The position of book-binders will be equally unsatisfactory. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 We would expect the harvesters and tractors and binders to roll out. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 In my own department, for example, two colleagues spent nearly four months of their precious time getting together the nearly 150 ring-binders required for the exercise. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 We cannot create skilled book-binders. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 In due course it would seem that the best approach is to attach the documents individually to trimmed sheets so that they can be accommodated in folio binders. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 Separate figures for the value of imported spares for binders are not available, but provision was made for currency to cover importers' estimated requirements in full. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 The production of binders is confined almost entirely to one firm, and it is regretted that the information could not be given without revealing the firm's business. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 Artisans in service of the court included painters, book binders, furriers, jewellers and goldsmiths. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Amino acid 1092 is in close proximity to the central ring of capsid binders. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. They took an incomplete manuscript, edited, formatted and supplemented it, created the bibliographic sections, located printers and binders and brought the book to completion. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Due to the extreme temperatures of this process there is first a decomposition of organic additives and binders of the ink. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. The nondirectional fibers (plexifilaments) are first spun and then bonded together by heat and pressure, without binders. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. There are places to buy binders, and they are a much better alternative to other, more dangerous methods. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. She began designing creative pages for her family's photo memories, inserting the completed pages into sheet protectors collected in 3-ring binders. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. The non-profit accepts donations of new and used items, such as binders, children's books, and craft supplies. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. During his working life he compiled many binders of his work, of which six from the 1900s survive. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Binders, mostly phenol- or other resins or pitch, are mixed in so the powder holds its shape when compacted. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Various fiberous materials, including paper, fiberglass, and carbon-fiber have been used as binders. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Both hamburger and ground beef can have seasonings, but no water, phosphates, extenders, or binders added. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. There are no binders involved in this process. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Free radicals formed can oxidize and therefore breakdown organic materials, such as latex binders found in waterborne coatings. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. The pages were organised as a series of pull-out reference files to be slotted into ring binders. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. The case str-l is slightly more involved because it passes under a binder. He collected the copies in four black binders and displayed them on four pedestals. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. One approach is to use polymer binders to fabricate composite electrodes where conductive additives are added to enhance their conductivity. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Binders were used to maintain the flexibility and integrity of electrodes, and the carbon nanotubes dramatically reduced electrode resistance. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. One interesting feature is the use of egg as a binder in six outbreaks where the food had subsequently been fried. In some sense, adding -reduction to a type system has similar effect as replacing the and by a unique binder. Gum-based binders are made from, alternatively, the boiling of plants. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Today in the artform of sculpture, organic binders are what is traditionally used. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Liquid binders are added to a dry substance in order to draw it together in such a way that it maintains a uniform consistency. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Under this umbrella, printers, designers, writers, collectors, calligraphers, paper-makers and binders joined a program of exhibitions, workshops, talks and seminars. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. The cylinders were made of powdered hematite held together by an unknown, but presumably organic, binder, and they were of a standardized size and shape. The pictures were randomized once for each language and put in a binder. The sand is bonded together using clays, chemical binders, or polymerized oils (such as motor oil). From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. The binder occurs exactly once, but inside a lambda. When the binder was opened like a book, vertically, a drawing was visible on each side. Their use has declined over the past several decades, as they have been replaced by alkyd resins and other binders. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Daub is usually created from a mixture of certain ingredients from three categories: binders, aggregates and reinforcement. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. There are commercially-made specialty binders available worldwide, as well as binders designed for the treatment of gynecomastia. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Binder's budget for the title sequence was 2,000 (in). From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. In order to make an eye shadow, there has to be a balance between the fillers, dry binders and liquid binders. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Bitumen binders that are more viscous tend to move through the aggregate faster, but are not as hard and can not handle heavier loads. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. The back cover either featured an advert for the binders or a full page photo of an aircraft. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Compression devices, such as abdominal binders and compression stockings, help to reduce the amount of pooling blood. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Alternative names used to mean a protein ligand are affinity reagents or protein binders. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Loose-leaf binders are the most flexible means of keeping notes and hand-outs tidy. Moreover, the construction could also be adopted, and possibly generalized, for validating other theories of names and binders. Furthermore, we assume that bound variables with different binders have different names. In fact, strong reduction strategies are useful in all situations where symbolic matching has to be conducted in the scope of binders. We use fresh names to uniquely instantiate process-abstractions underneath binders, so that we are able to reabstract over them after analysis. The other binders, new-name and new-group, have the same semantics as before. Most of these calculi use two binders and to distinguish between functions (created by -abstraction) and types (created by -abstraction). We represent the whole structure by a tree automaton and add extra annotations to indicate which parts correspond to clauses or variable binders. In our opinion, this construction could be adopted for validating other theories of names and binders. There are good reasons for dealing with algebraic languages, rather than languages with binders, under certain circumstances; particularly in connection with equational reasoning. Many organic binders contain molecules which fluoresce when excited by ultra-violet radiation. In the paper, we have also pointed out a limitation of previous reduction semantics, in which stores are represented as binders. These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. |
反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。