词汇 | binder |
释义 | binder noun[ C ] uk /ˈbaɪn.dər/ us /ˈbaɪn.dɚ/ bindernoun[C] (COVER)a hard cover in which paper documents or magazines are stored: 活页夹 a leather/plastic binder皮质/塑料活页夹 He's filled five binders with notes. See also ring binder hanohiki/iStock/Getty Images Plus/GettyImages A carefully kept logbook (a three-ring binder with pages for sketches and notes of your observations) will become a valued resource. Create a binder just for holiday recipes-foods you made, how you tweaked the seasonings, what could have used more or less time in the oven, recipes you wanted to try but didn't. Books & parts of books acknowledgment acknowledgmentsphrase addendum artwork bibliographical bibliographically concordance epigraph epilogue errata erratum ex-libris jacket library monograph non-biographical omnibus preface spine verso bindernoun[C] (JOB)a bookbinder装订工 People who work in publishing agent anthologist bookbinder co-editor co-publisher compositor concierge ed editor editor-at-large illustrator proofreader publisher reader reviewer sensitivity reader superagent syndicate vanity press bindernoun[C] (MACHINE)a machine used on farms to fasten crops into sheaves(= bundles) after they have been cut: 装订机 The way to harvest cereals 50 years ago was to use a binder, that cut the crop and tied it up in sheaves. Farm vehicles & equipment all-terrain vehicle ATV Caterpillar tractor combine goad harrow harvester milker milking machine planter plough ploughshare reaper scarecrow seeder sifter sorter spreader tractor yoke You can also find related words, phrases, and synonyms in the topics: Machines - general words bindernoun[C] (SUBSTANCE)a substance added to a mixture to make all the parts stick together: 粘结剂;增粘剂 You can use egg as a binder. Our food has no artificial or processed ingredients, no low-cost fillers or binders. Lump charcoal is a pure form of charcoal and is preferred by many purists who dislike artificial binders used to hold briquettes in their shape. Glues, gluing & stickiness adhere adherent adhesion adhesive adhesively Blu-Tack glue glue gun glue stick gluey glutinous gummy plaster putty Scotch tape self-adhesive slimily sliminess tacky viscid bindernoun[C] (TIGHT MATERIAL)a strip of material wrapped tightly around part of the body to firmly press or hold it in place, for example after surgery(= a medical operation): Compression devices such as abdominal binders and compression stockings may help. a special piece of clothing that some people, especially transgender people (= people whose gender does not match the body they were born with), wear to make their chests appear flatter by holding their breasts flat: One of the most important parts of choosing the right binder for you is getting the right size. Can you recommend a company that makes good binders for busty individuals? This transgender nonprofit ships free binders to people who need them. Patients are required to wear breast binders for three to six weeks to hold the implant in place during the healing process. Medical dressings, supports & devices anti-shock auditory brainstem implant bath chair bioengineer bioengineering brace compress earplug grommet heat pack ICD in a castphrase in plasterphrase plaster sling sticking plaster suspensory telecoil ventricular assist device walking frame You can also find related words, phrases, and synonyms in the topics: Underwear binder | American Dictionarybinder noun[ C ] us/ˈbɑɪn·dər/ a stiff cover that can hold loose papers, often having a part that fastens them: a three-ring binder binder | Business Englishbinder noun[ C ] uk /ˈbaɪndər/us LAW a short document showing an agreement between a buyer and a seller, used for a short period while the complete document is being prepared: a binder agreement In the case of a real estate purchase, a binder contains the basic terms of the transaction. A binder will give insurance coverage for a specified period of time until the actual insurance policy can be issued. See also cover note WORKPLACE a hard cover in which paper documents can be stored: Your report will look more professional if it is presented in an attractive binder. See also ring binder Examples of binderbinder 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. See all examples of binder 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条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。