Impôt régressifUn impôt régressif ou impôt dégressif est un impôt dont le taux d'imposition diminue en même temps que la matière imposable augmente. La matière imposable, aussi appelée base d'imposition ou assiette fiscale, est par exemple l'ensemble des revenus ou de la fortune pour un particulier, ou les bénéfices ou le chiffre d'affaires pour une entreprise. L'impôt régressif s'oppose à l'impôt progressif dont le taux augmente avec la base d'imposition. Entre les deux se situe l'impôt à taux unique, aussi appelé flat tax par les anglo-saxons.
International taxationInternational taxation is the study or determination of tax on a person or business subject to the tax laws of different countries, or the international aspects of an individual country's tax laws as the case may be. Governments usually limit the scope of their income taxation in some manner territorially or provide for offsets to taxation relating to extraterritorial income. The manner of limitation generally takes the form of a territorial, residence-based, or exclusionary system.
Taxation as theftThe position that taxation is theft, and therefore immoral, is found in a number of political philosophies considered radical. It marks a significant departure from conservatism and classical liberalism. This position is often held by anarcho-capitalists, objectivists, most minarchists, anarchists, right-wing libertarians, and voluntaryists. Proponents of this position see taxation as a violation of the non-aggression principle. Under this view, government transgresses property rights by enforcing compulsory tax collection, regardless of what the amount may be.
Croissance économiquethumb|upright=2|Contribution (en %) de la croissance des pays à celle mondiale (2011). La croissance économique désigne la variation positive de la production de biens et de services dans une économie sur une période donnée, généralement une longue période. En pratique, l'indicateur le plus utilisé pour la mesurer est le produit intérieur brut (PIB). Il est mesuré « en volume » ou « à prix constants » pour corriger les effets de l'inflation. Le taux de croissance, lui, est le taux de variation du PIB.
Inégalités de revenuthumb|400px|Inégalité des revenus (2013) au sein des pays, mesuré par le coefficient de Gini : 0 correspond à une égalité parfaite (toutes les personnes ont les mêmes richesses), et 1 à une inégalité totale (où une personne possèderait tout). Les pays en rouge sont plus inégalitaires que les pays en vert. Les inégalités de revenu pointent la disparité existante entre les revenus des individus « riches » et ceux des individus « pauvres ».
Produit intérieur brutLe produit intérieur brut (PIB) est l'indicateur économique qui permet de quantifier la valeur totale de la « production de richesse » annuelle effectuée par les agents économiques (ménages, entreprises, administrations publiques) résidant à l'intérieur d'un territoire. Le produit intérieur brut est le principal indicateur de la mesure de la production économique réalisée à l’intérieur d'un pays et l'un des agrégats majeurs des comptes nationaux.
Politique de rigueurUne politique de rigueur ou politique d'austérité est une politique économique de maîtrise ou de réduction des dépenses publiques dans le but de réduire le déficit. Elle est souvent alliée à une augmentation de l'imposition dans le but d'assainir les dépenses publiques. La mise en pratique d'une politique de rigueur peut passer par plusieurs canaux : politique budgétaire, politique fiscale, politique monétaire. Les mesures de rigueur ou d'austérité sont souvent mises en place lorsque l'État se trouve dans une situation difficile pour payer ses dépenses de fonctionnement ou rembourser ses dettes.
ConsommationLa consommation caractérise l'acte d'un agent économique (le consommateur) qui utilise (consommation finale) ou transforme (consommation intermédiaire) des biens et services. Cette utilisation ou transformation provoque la destruction immédiate (biens non durables) ou progressive (biens durables) des éléments consommés. D'un point de vue général, la consommation (destructrice de valeur) s'oppose à la production (créatrice de valeur).
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.
DetteLa dette (du latin debeo signifiant « devoir, ce que l'on doit à quelqu'un ») est un devoir (en droit, une obligation) d'une personne (le débiteur) envers une autre (le créancier). Juridiquement, c'est la face « passive » de l'obligation par rapport à la créance qui est le droit d'exiger la prestation. Si le mot dette s'emploie essentiellement pour les dettes financières, une dette est aussi un concept moral. Certaines dettes morales sont impossibles à quantifier et donc à rembourser, par exemple lorsqu'une personne sauve la vie d'une autre personne.
Lambda-calculLe lambda-calcul (ou λ-calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d'application. On y manipule des expressions appelées λ-expressions, où la lettre grecque λ est utilisée pour lier une variable. Par exemple, si M est une λ-expression, λx.M est aussi une λ-expression et représente la fonction qui à x associe M. Le λ-calcul a été le premier formalisme pour définir et caractériser les fonctions récursives : il a donc une grande importance dans la théorie de la calculabilité, à l'égal des machines de Turing et du modèle de Herbrand-Gödel.
