LigandIn coordination chemistry, a ligand is an ion or molecule with a functional group that binds to a central metal atom to form a coordination complex. The bonding with the metal generally involves formal donation of one or more of the ligand's electron pairs, often through Lewis bases. The nature of metal–ligand bonding can range from covalent to ionic. Furthermore, the metal–ligand bond order can range from one to three. Ligands are viewed as Lewis bases, although rare cases are known to involve Lewis acidic "ligands".
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Transition metalIn chemistry, a transition metal (or transition element) is a chemical element in the d-block of the periodic table (groups 3 to 12), though the elements of group 12 (and less often group 3) are sometimes excluded. The lanthanide and actinide elements (the f-block) are called inner transition metals and are sometimes considered to be transition metals as well. Since they are metals, they are lustrous and have good electrical and thermal conductivity.
Pi backbondingIn chemistry, π backbonding, also called π backdonation, is when electrons move from an atomic orbital on one atom to an appropriate symmetry antibonding orbital on a π-acceptor ligand. It is especially common in the organometallic chemistry of transition metals with multi-atomic ligands such as carbon monoxide, ethylene or the nitrosonium cation. Electrons from the metal are used to bond to the ligand, in the process relieving the metal of excess negative charge. Compounds where π backbonding occurs include Ni(CO)4 and Zeise's salt.
Type theoryIn mathematics, logic, and computer science, a type theory is the formal presentation of a specific type system, and in general, type theory is the academic study of type systems. Some type theories serve as alternatives to set theory as a foundation of mathematics. Two influential type theories that were proposed as foundations are Alonzo Church's typed λ-calculus and Per Martin-Löf's intuitionistic type theory. Most computerized proof-writing systems use a type theory for their foundation, a common one is Thierry Coquand's Calculus of Inductive Constructions.
Post-transition metalThe metallic elements in the periodic table located between the transition metals to their left and the chemically weak nonmetallic metalloids to their right have received many names in the literature, such as post-transition metals, poor metals, other metals, p-block metals and chemically weak metals. The most common name, post-transition metals, is generally used in this article. Physically, these metals are soft (or brittle), have poor mechanical strength, and usually have melting points lower than those of the transition metals.
Type safetyIn computer science, type safety and type soundness are the extent to which a programming language discourages or prevents type errors. Type safety is sometimes alternatively considered to be a property of facilities of a computer language; that is, some facilities are type-safe and their usage will not result in type errors, while other facilities in the same language may be type-unsafe and a program using them may encounter type errors.
Transition metal carbene complexA transition metal carbene complex is an organometallic compound featuring a divalent organic ligand. The divalent organic ligand coordinated to the metal center is called a carbene. Carbene complexes for almost all transition metals have been reported. Many methods for synthesizing them and reactions utilizing them have been reported. The term carbene ligand is a formalism since many are not derived from carbenes and almost none exhibit the reactivity characteristic of carbenes.
Metal-phosphine complexA metal-phosphine complex is a coordination complex containing one or more phosphine ligands. Almost always, the phosphine is an organophosphine of the type R3P (R = alkyl, aryl). Metal phosphine complexes are useful in homogeneous catalysis. Prominent examples of metal phosphine complexes include Wilkinson's catalyst (Rh(PPh3)3Cl), Grubbs' catalyst, and tetrakis(triphenylphosphine)palladium(0). Many metal phosphine complexes are prepared by reactions of metal halides with preformed phosphines.
Type inferenceType inference refers to the automatic detection of the type of an expression in a formal language. These include programming languages and mathematical type systems, but also natural languages in some branches of computer science and linguistics. Types in a most general view can be associated to a designated use suggesting and restricting the activities possible for an object of that type. Many nouns in language specify such uses. For instance, the word leash indicates a different use than the word line.
