Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
Politique d'une seule ChineLa politique d'une seule Chine ou principe d'une seule Chine () est une position politique de la république populaire de Chine selon laquelle la Chine est Une et unie. Selon ce principe, Taïwan, administrée de facto par la république de Chine depuis 1945 et par le Japon auparavant, fait partie de cette Chine unifiée. La Chine refuse les échanges diplomatiques et commerciaux avec les pays opposés au principe d'une seule Chine. La plupart des pays de la communauté internationale ainsi que des organisations internationales (ONU) acceptent ce principe à partir des années 1970.
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.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
Bank of Chinathumb|right|235px|Le QG de la Banque de Chine, Pékin, Chine. Architecte : Ieoh Ming Pei. La Bank of China Limited (BOC) ( ; souvent abrégée 中行) est l'une des quatre grandes banques commerciales d’État de la république populaire de Chine. Fondée en 1912 pour remplacer la Banque Da Qing, c'est la plus ancienne banque de Chine. Elle est la cinquième banque au niveau mondial pour ses actifs, et le second organisme de prêt en Chine.
Democracy in ChinaThe debate over democracy in China has been a major ideological battleground in Chinese politics since the 19th century. China is not a liberal democracy. The Chinese government and the Chinese Communist Party (CCP) state that China is democratic nonetheless. Many foreign and some domestic observers categorize China as an authoritarian one-party state, with some saying it has shifted to neoauthoritarianism. Some characterize it as a dictatorship.
AllemandsLes Allemands (Deutsche) peuvent être définis comme un groupe ethnique dans le sens où ils partagent une même culture allemande, ont l’allemand comme langue maternelle et sont d’ascendance allemande. Les Allemands sont aussi définis par leur citoyenneté qui eut, au cours de l’histoire allemande, des relations variables avec cette culture allemande, selon l’influence de sous-cultures et de la société en général. Sur environ 100 millions de locuteurs maternels de l’allemand dans le monde, 75 millions se considèrent comme Allemands.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
République démocratique allemandeLa République démocratique allemande (RDA) ; en Deutsche Demokratische Republik ou DDR, parfois traduit par République démocratique d'Allemagne), communément appelée Allemagne de l'Est, est un ancien État communiste européen créé le par le Parti socialiste unifié d'Allemagne, allié de l’URSS. Le territoire de la RDA correspond à la zone occupée par l'Armée rouge. Cet événement intervient après la fondation de la République fédérale d’Allemagne précédée par la trizone des puissances occupantes occidentales.
Propriété intellectuellevignette|Représentation très simplifiée du cadre de la propriété intellectuelle, et de ses « objets », en France, à la fin du . La propriété intellectuelle est le domaine comportant l'ensemble des droits exclusifs accordés sur des créations intellectuelles.
Allemagne de l'OuestL'Allemagne de l'Ouest (en allemand : Westdeutschland) est le nom d'usage donné à la République fédérale d'Allemagne, souvent abrégée en RFA (en allemand : Bundesrepublik Deutschland ou BRD, parfois traduit à tort par « République fédérale allemande », lorsque l’État couvrait la partie occidentale de l'Allemagne, entre 1949 et 1990. La capitale politique de la République fédérale avait été installée à Bonn, sur les bords du Rhin, tandis que le secteur Berlin-Ouest de l'ancienne capitale du Reich bénéficiait d’un statut politique spécial mais pouvait de facto être considéré comme faisant partie de l’Allemagne de l’Ouest, notamment à propos de la circulation des personnes.
Biocarburant pour l'aviationvignette| Plein d'un Airbus A320 avec du biocarburant. Un biocarburant pour l'aviation est un biocarburant utilisé pour propulser des aéronefs et qui est considéré comme un carburant durable d'aviation . L'Association du transport aérien international (IATA) considère les BAF comme l'un des éléments clés pour réduire l'empreinte carbone dans le cadre de l'impact climatique du transport aérien.
