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.
Type conversionIn computer science, type conversion, type casting, type coercion, and type juggling are different ways of changing an expression from one data type to another. An example would be the conversion of an integer value into a floating point value or its textual representation as a string, and vice versa. Type conversions can take advantage of certain features of type hierarchies or data representations.
Data typeIn computer science and computer programming, a data type (or simply type) is a collection or grouping of data values, usually specified by a set of possible values, a set of allowed operations on these values, and/or a representation of these values as machine types. A data type specification in a program constrains the possible values that an expression, such as a variable or a function call, might take. On literal data, it tells the compiler or interpreter how the programmer intends to use the data.
Spectrochemical seriesA spectrochemical series is a list of ligands ordered by ligand "strength", and a list of metal ions based on oxidation number, group and element. For a metal ion, the ligands modify the difference in energy Δ between the d orbitals, called the ligand-field splitting parameter in ligand field theory, or the crystal-field splitting parameter in crystal field theory. The splitting parameter is reflected in the ion's electronic and magnetic properties such as its spin state, and optical properties such as its color and absorption spectrum.
Coordination complexA coordination complex is a chemical compound consisting of a central atom or ion, which is usually metallic and is called the coordination centre, and a surrounding array of bound molecules or ions, that are in turn known as ligands or complexing agents. Many metal-containing compounds, especially those that include transition metals (elements like titanium that belong to the periodic table's d-block), are coordination complexes. Coordination complexes are so pervasive that their structures and reactions are described in many ways, sometimes confusingly.
Bioinorganic chemistryBioinorganic chemistry is a field that examines the role of metals in biology. Bioinorganic chemistry includes the study of both natural phenomena such as the behavior of metalloproteins as well as artificially introduced metals, including those that are non-essential, in medicine and toxicology. Many biological processes such as respiration depend upon molecules that fall within the realm of inorganic chemistry. The discipline also includes the study of inorganic models or mimics that imitate the behaviour of metalloproteins.
Dependent typeIn computer science and logic, a dependent type is a type whose definition depends on a value. It is an overlapping feature of type theory and type systems. In intuitionistic type theory, dependent types are used to encode logic's quantifiers like "for all" and "there exists". In functional programming languages like Agda, ATS, Coq, F*, Epigram, and Idris, dependent types help reduce bugs by enabling the programmer to assign types that further restrain the set of possible implementations.
RutheniumRuthenium is a chemical element with the symbol Ru and atomic number 44. It is a rare transition metal belonging to the platinum group of the periodic table. Like the other metals of the platinum group, ruthenium is inert to most other chemicals. Russian-born scientist of Baltic-German ancestry Karl Ernst Claus discovered the element in 1844 at Kazan State University and named ruthenium in honor of Russia. Ruthenium is usually found as a minor component of platinum ores; the annual production has risen from about 19 tonnes in 2009 to some 35.
Metal carbonylMetal carbonyls are coordination complexes of transition metals with carbon monoxide ligands. Metal carbonyls are useful in organic synthesis and as catalysts or catalyst precursors in homogeneous catalysis, such as hydroformylation and Reppe chemistry. In the Mond process, nickel tetracarbonyl is used to produce pure nickel. In organometallic chemistry, metal carbonyls serve as precursors for the preparation of other organometallic complexes.
Cis effectIn inorganic chemistry, the cis effect is defined as the labilization (or destabilization) of CO ligands that are cis to other ligands. CO is a well-known strong pi-accepting ligand in organometallic chemistry that will labilize in the cis position when adjacent to ligands due to steric and electronic effects. The system most often studied for the cis effect is an octahedral complex M(CO)5X where X is the ligand that will labilize a CO ligand cis to it.
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
