hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Théorème de Haruki
En géométrie, le théorème de Haruki donne une relation algébrique vérifiée par la figure formée par les six points d'intersection de trois cercles sécants deux à deux, reliés d'une certaine façon.

On distingue parmi ces six points trois qui sont sur le bord de la figure et trois qui sont à l'intérieur. En reliant chaque point extérieur aux deux points intérieurs correspondant, on obtient six segments successifs de longueurs , ; le théorème énonce  :
.

Cercle
En géométrie euclidienne, un cercle est une courbe plane fermée constituée de points situés à égale distance d'un point nommé centre. Cette distance est appelée rayon du cercle.

Dans le plan euclidien, il s'agit du « rond » qui est associé en français au terme de cercle. Dans un plan non euclidien ou dans le cas de la définition d'une distance non euclidienne, la forme peut être plus complexe. Dans un espace de dimension quelconque, l'ensemble des points placés à une distance constante d'un centre est appelé sphère.

D'autres formes peuvent être qualifiées de « rondes » : les surfaces et solides dont certaines sections planes sont des cercles (cylindres, cônes, tore, anneau, etc.).
L'Abbaye (tramway d'Île-de-France)
L'Abbaye est une gare ferroviaire française de la ligne de Bondy à Aulnay-sous-Bois (dite ligne des Coquetiers), située à L'Abbaye, quartier de la ville de Livry-Gargan, dans le département de la Seine-Saint-Denis en région Île-de-France.

C'est une halte lorsqu'elle est mise en service en 1875 par la Compagnie du chemin de fer de Bondy à Aulnay.

Réaménagée, elle est rouverte en 2006 comme halte voyageurs (dite aussi station) de la Société nationale des chemins de fer français (SNCF) desservie par des tram-trains de la ligne 4 du tramway d'Île-de-France.

Gare de Bondy
La gare de Bondy est une gare ferroviaire française des lignes de Paris-Est à Strasbourg-Ville et de Bondy à Aulnay-sous-Bois (dite ligne des Coquetiers), elle est située sur le territoire de la commune de Bondy, dans le département de la Seine-Saint-Denis en région Île-de-France.

Une station provisoire est mise en service en 1849 par la Compagnie du chemin de fer de Paris à Strasbourg puis elle devient une gare du réseau de la Compagnie des chemins de fer de l'Est. En 1938, elle est intégrée dans le réseau ferré national de la Société nationale des chemins de fer français (SNCF). En 1999, elle devient une gare du réseau express régional d'Île-de-France (RER) et en 2006 l'un des terminus du premier tram-train mis en service en France qui prend le nom commercial de ligne 4 du tramway d'Île-de-France (T4).

C'est une gare de la SNCF, desservie par des trains de la ligne E du RER ainsi que par des tram-trains de la ligne T4.
Utrówka
Utrówka (prononciation : [uˈtrufka]) est un village polonais de la gmina de Międzyrzec Podlaski dans le powiat de Biała Podlaska de la voïvodie de Lublin dans l'est de la Pologne.

Il se situe à environ 7 kilomètres à l'est de Międzyrzec Podlaski (siège de la gmina), 17 kilomètres à l'ouest de Biała Podlaska (siège du powiat) et 85 kilomètres au nord de Lublin (capitale de la voïvodie).

Międzyrzec Podlaski
Międzyrzec Podlaski ([mʲɛnˈd͡zɨʐɛt͡s pɔdˈlaskʲi]) est une ville de l'est de la Pologne, située dans le powiat de Biała Podlaska dans la voïvodie de Lublin.

La ville est une gmina urbaine et est le siège administratif (chef-lieu) de la gmina de Międzyrzec Podlaski.

Sa population s'élevait à 17 104 habitants en 2007 sur une superficie de 20,03 kilomètres carrés.
Étienne Barbette
Étienne Barbette, né vers 1250, mort à Paris le 19 décembre 1321, joue un rôle important au tournant du XIIIe siècle dans l'administration de Paris et auprès du Roi de France Philippe le Bel.

Bourgeois de Paris, il obtient la charge de Voyer de Paris, devient échevin de la ville en 1293, puis pendant dix ans (1298-1304 et 1314-1318), en est le prévôt des marchands.

Enfin, il est argentier et maître des Monnaies du roi Philippe le Bel et conseiller financier du souverain. Son rôle dans les manipulations monétaires du roi le rend fort impopulaire et conduit à des révoltes et au sac de ses demeures, en 1306.

Sa vie illustre plusieurs évolutions historiques dans la France des XIIIe et XIVe siècles : la puissance économique et politique des bourgeois, leur alliance avec le pouvoir royal, la structuration de l'État avec le rôle croissant des conseillers, la confirmation de Paris en tant que capitale du Royaume.

Jean Sarrazin (chambellan)
Jean Sarrazin est un des chambellans du roi Louis IX (Saint Louis), connu notamment grâce à la conservation des comptes de l'hôtel du roi pour les années 1256-1257, dont il a assuré la tenue et qui sont conservés aujourd'hui sur tablettes de cire aux Archives nationales.
Communauté juive de Fălticeni
L'existence de la communauté juive de Fălticeni en Moldavie (Roumanie) se confond avec la première esquisse de la ville de Fălticeni, en 1490. Elle se développe durant le XIXe siècle pour décliner à partir du début du XXe siècle jusqu'à devenir symbolique au siècle suivant.

Cimetière juif
Un cimetière juif est un lieu où sont enterrés les morts juifs. Son ordonnancement et son apparence découlent des règles de la halakha et des minhaggim (coutumes) des différentes communautés juives.

Le mont des Oliviers plus grand cimetière de Jérusalem composé de dalles selon la tradition sépharade.

Le cimetière juif de Worms en Allemagne (Heiliger Sand) composé de stèles dressées, selon la tradition ashkénaze.

Prague.

Cimetière juif de Waibstadt, Bade-Wurtemberg, situé dans un bois. Pierres tombales dans la plus vieille partie du cimetière, datant du XVIIIe siècle (2018).

Autre vue du cimetière juif de Waibstadt, une partie où les tombes datent du XIXe siècle (2016).
Jean II (roi de Hongrie)
Jean II de Hongrie ou Jean Sigismond Zapolya (en hongrois : Szapolyai János Zsigmond), né le 7 juillet 1540 à Buda et décédé le 14 mars 1571 à Gyulafehérvár, est un prince de Transylvanie, également roi de Hongrie. Il est fils du roi Jean Ier de Hongrie et d'Isabelle Jagellon, fille du roi Sigismond Ier de Pologne.

Diète (politique)
En politique, une diète est une assemblée délibérative. On emploie essentiellement ce mot en référence au Parlement japonais, à la chambre basse polonaise, au Bundestag allemand, aux assemblées parlementaires de Lettonie et Lituanie ou à des institutions anciennes.
Étoile de Margon
L'étoile de Margon est une étoile chimiquement particulière de la constellation de la Balance. Elle a été premièrement identifiée par B. Margon et al. dans un article paru en 1984,. Elle est une étoile carbonée très froide de type spectral C-CH.

Étoile chimiquement particulière
Une étoile chimiquement particulière — dite étoile CP, pour Chemically Peculiar en anglais — est une étoile dont le spectre témoigne d'une surabondance ou d'un appauvrissement en un ou plusieurs éléments chimiques par rapport au type spectral de référence de l'étoile.
Różopole (Konin)
Różopole (prononciation : [ruʐɔˈpɔlɛ]) est un village polonais de la gmina de Ślesin dans le powiat de Konin de la voïvodie de Grande-Pologne dans le centre-ouest de la Pologne.

Il se situe à environ 2 kilomètres à l'est de Ślesin (siège de la gmina), à 17 kilomètres au nord de Konin (siège du powiat) et à 96 kilomètres à l'est de Poznań (capitale régionale).

Le village possédait une population de 197 habitants en 2006.

Ślesin (gmina)
Ślesin est une gmina mixte du powiat de Konin, Grande-Pologne, dans le centre-ouest de la Pologne. Son siège est la ville de Ślesin, qui se situe environ 17 km au nord de Konin et 95 km à l'est de la capitale régionale Poznań.

La gmina couvre une superficie de 145,69 km2 pour une population de 14 001 habitants en 2016.
Féminisme en Belgique
Le féminisme en Belgique nait au XIXe siècle dans un pays, de tradition majoritairement catholique, où les femmes n'ont quasiment pas d'indépendance sociale car la plupart sont soumises légalement à la puissance paternelle ou maritale ; les adultes célibataires vivent de leur héritage ou, le plus souvent, d'un travail souvent ouvrier et dont les revenus sont systématiquement inférieurs à ceux des hommes. Le féminisme y débute dans la 2de moitié du siècle par l'action de bourgeoises et d'ouvrières, puis s'y développe par vagues au cours des siècles suivants.

Marie Delcourt
Marie Delcourt, née à Ixelles le 18 novembre 1891 et morte à Liège le 11 février 1979, est une philologue classique, helléniste et historienne de la littérature belge francophone. Elle est également une militante wallonne et fait partie de l'équipe dirigeante de l'Union des femmes de Wallonie avec Léonie de Waha.

Elle est la première femme chargée de cours à l'université de Liège, à partir de 1929, y créant le cours d'histoire de l'humanisme.
Voyage du maréchal Joffre à Barcelone en 1920
Le voyage du maréchal Joffre à Barcelone en 1920 est un voyage diplomatique dans le but de remercier le sacrifice des volontaires catalans pendant la grande guerre et de répondre à l'invitation des jeux floraux. Ce voyage réveillera l'indépendantisme catalan.

Josep Puig i Cadafalch
Josep Puig i Cadafalch, né à Mataró le 17 octobre 1867 et mort à Barcelone le 23 décembre 1956, est l'un des principaux architectes de l'Art nouveau et du Modernisme catalan, et un historien de l'art catalan.
XnView
XnView est un gratuiciel (gratuit pour une utilisation privée non commerciale, pour l’éducation et pour les organismes à but non lucratif) de visualisation, de retouche et de conversion d’images. Il a été développé par Pierre-Emmanuel Gougelet.

Logiciel gratuit
Un logiciel gratuit, ou gratuiciel, en anglais freeware product, est un logiciel propriétaire distribué gratuitement sans toutefois accorder à l'utilisateur certaines libertés d'usage,, associées au logiciel libre. Les termes « gratuiciel » ou « logiciel gratuit », dont l'usage est préconisé par la Commission d'enrichissement de la langue française en France, sont des traductions du mot anglais freeware, qui est une contraction de free (gratuit) et software (logiciel) — contraction qui prête à confusion en anglais avec free software qui désigne en anglais un logiciel libre.

Un logiciel gratuit peut fonctionner gratuitement pour une durée de temps illimitée. L'auteur d'un logiciel gratuit pourrait limiter les droits de copie et/ou de distribution de son logiciel. En tant que logiciel propriétaire le principe de la gratuité peut être une stratégie de marketing fondée sur des revenus indirects (support, produits liés…) plutôt que sur la vente du logiciel.
Route 64 (Alberta)
La Route 64 est une route ouest / est du nord de l'Alberta. Elle débute à la frontière avec la Colombie-Britannique comme prolongement de Cecil Lake Road et se dirige vers l'est jusqu'à Fairview, où elle prend fin à la jonction avec la route 2,.

Route 2 (Alberta)
La Route 2 (aussi connue comme la Queen Elizabeth II Highway) est une route majeure en Alberta qui s'étend de la frontière canado-américaine jusqu'à Grande Prairie en passant par la plus grande ville de la province, Calgary, et par sa capitale, Edmonton. Parcourant un trajet principalement du sud au nord sur environ 1 273 km (791 mi), il s'agit de la route la plus longue et la plus achalandée de la province, transportant plus de 180 000 véhicules par jour près du centre-ville de Calgary. Le segment entre Fort Macleod et Edmonton fait partie du corridor CANAMEX lequel relie l'Alaska au Mexique. Plus de la moitié des quatre millions d'habitants de l'Alberta demeure dans le corridor Calgary–Edmonton créé par la route 2.
École de Manchester
École de Manchester ou libéralisme manchestérien ou philosophie de Manchester est une expression utilisée au début du XXe siècle par Élie Halévy et A.V. Dicey à la suite de Ferdinand Lassalle pour désigner un libéralisme de laissez-faire (ce point de vue a été contesté par Grampp dans un livre paru en 1960 intitulé Manchester School of Economics). L’École de Manchester désigne aussi un groupe d’hommes à qui l’on doit l’abolition des Corn Laws et l'adoption du libre-échange par la Grande-Bretagne après 1846.

Herbert Spencer
Herbert Spencer, né le 27 avril 1820 à  Derby et mort le 8 décembre 1903 à Brighton, est un philosophe et sociologue britannique. Son nom est associé à l'application des théories de Charles Darwin à la sociologie, et donc au darwinisme social, même si les partisans de ces théories rejettent ce terme, lui préférant celui de spencérisme. Il popularise par ses publications l'idée d'évolution et de survie des plus aptes (survival of the fittest).
Hilaire Rama
Hilaire Rama, né le 19 juillet 1948, est un bassiste venant de Martinique et vivant en Pays Pourlet (Guémené-sur-Scorff dans le Morbihan). Accompagnant des artistes bretons et français de renom, il s'est produit sur les plus grandes scènes françaises (Paris-Bercy et Olympia avec Gilles Servat, stade de France) et dans les grands festivals. Il a fait partie de Taÿfa puis Skeduz et Hudel, deux groupes de musique bretonne bien connus des danseurs de festoù-noz.

Nicolas Quemener
Nicolas Quemener, né en août 1964 à Beaufort-en-Vallée (Maine-et-Loire), est un musicien français, guitariste reconnu dans la musique celtique, jouant en accord ouvert. Guitariste soliste, il a également le talent de créativité et d’accompagnement. Il a accompagné les grands artistes bretons (Gilles Servat, Dan Ar Braz au sein de l'Héritage des Celtes, Ronan Le Bars) et participé aux groupes de musiques celtes comme Arcady, Skeduz, Kornog, Orion, Hudel, Pennoù Skoulm. Il a joué sur scène avec Jackie Daly & Johhny Mc Donagh, Donal Lunny, Martin O'Connor, Ronny Drew, ainsi qu'avec plusieurs chanteuses irlandaises comme Frances Black, Niamh Parsons et rita Connolly.
PKIX
Le PKIX (Public-Key Infrastructure X.509) est un groupe de travail de l'IETF dédié aux infrastructures à clés publiques. Un grand nombre de standards Internet, des RFC, ont été émis par ce groupe depuis sa création fin 1995. Conformément à la tradition de pragmatisme technique de l'IETF, la plupart de ces standards ont en fait été des reformulations officielles de technologies déjà existantes et répandues. Le standard X.509 de certificat électronique de l'ITU, ainsi que les 'standards' de cryptographie asymétrique PKCS de RSA Security ont été intégrés dans des RFC.

La RFC 2459 présente le modèle générique de PKI utilisé par le PKIX. Cette architecture se retrouve dans la majorité des implantations actuelles de PKI.

Certificat électronique
Un certificat électronique (aussi appelé certificat numérique ou certificat de clé publique) peut être vu comme une carte d'identité numérique. Il est utilisé principalement pour identifier et authentifier une personne physique ou morale, mais aussi pour chiffrer des échanges.

Il est signé par un tiers de confiance qui atteste du lien entre l'identité physique et l'entité numérique (virtuelle). Pour un site web il s'agit d'un certificat X.509 (parfois appelé par métonymie « certificat TLS » et anciennement « certificat SSL »).
Tolisa (Modriča)
Tolisa (en serbe cyrillique : Толиса) est un village de Bosnie-Herzégovine. Il est situé dans la municipalité de Modriča et dans la république serbe de Bosnie. Selon les premiers résultats du recensement bosnien de 2013, il compte 434 habitants.

Modriča
Modriča (en serbe cyrillique Модрича) est une ville et une municipalité de Bosnie-Herzégovine située dans la république serbe de Bosnie. Selon les premiers résultats du recensement bosnien de 2013, la ville intra muros compte 10 137 habitants et la municipalité 27 799.
Archidiocèse de Pérouse-Città della Pieve
L'archidiocèse de Pérouse-Città della Pieve (en latin : Archidioecesis Perusina-Civitatis Plebis ; en italien : Arcidiocesi di Perugia-Città della Pieve) est un archidiocèse métropolitain de l'Église catholique d'Italie appartenant à la région ecclésiastique d'Ombrie.

Exemption (droit canonique catholique)
L'exemption est, dans l'Église catholique romaine, la libération complète ou partielle d'une personne ecclésiastique, physique (clerc le plus souvent) ou morale (corporation, institution, communauté religieuse), de l'autorité du supérieur hiérarchique le plus proche. On parle notamment d'abbaye exempte si l'abbaye relève directement du pape, et non de l'évêque du diocèse où elle se trouve, ou diocèse exempt pour les diocèses relevant directement du Saint-Siège sans appartenir à une province ecclésiastique.

Au cours du concile de Vienne, en 1311, Jacques de Thérines, abbé de Chaalis, a défendu l'exemption des religieux contre l'avis de Gilles de Rome, archevêque de Bourges, qui s'y opposait.
Bataille de Tinzawatène (2024)
La bataille de Tinzawatène ou Tinzaouatine a lieu du 25 au 27 juillet 2024 lors de la guerre du Mali. Elle s'achève par la victoire des rebelles du CSP-DPA et des djihadistes du GSIM, qui repoussent une attaque du Groupe Wagner et des Forces armées maliennes contre la ville de Tinzawatène.

À l'issue de la bataille, la colonne russo-malienne est entièrement détruite et plusieurs dizaines de soldats sont tués ou faits prisonniers.

Touaregs
Les Touaregs, qui se nomment eux-mêmes Kel Tamajeq, (en berbère : ⴾⵍ ⵜⵎⴰⵣⵗⵜ Kel Tamajeq), ou encore imouhar (en berbère : ⵉⵎⵓⵂⵔ) sont des habitants berbérophones (Amazighs en berbère), divisés en plusieurs confédérations et tribus du Sahara central et de ses bordures (Algérie, Libye, Niger, Mali, extrême nord du Burkina Faso). Leur langue, le tamajeq, divisée en plusieurs dialectes utilise un alphabet appelé tifinagh (prononcé en français tifinar).

Traditionnellement nomades, leur sédentarisation s'accélère depuis la seconde moitié du XXe siècle. Ils sont confrontés à des formes d'assimilation culturelle et linguistique (acculturation) et à une marginalisation économique et politique (de) qui les ont conduits à la lutte armée dans les années 1990. Beaucoup ont abandonné le nomadisme pour se fixer dans les grandes villes du Sahara, comme Tamanrasset en Algérie ou Agadez au Niger, ou les capitales des États sahéliens (Bamako, Niamey).
Juan Antonio San Epifanio
Juan Antonio San Epifanio, surnommé Epi, né le 12 juin 1959 à Saragosse, est un ancien joueur espagnol de  basket-ball, évoluant au poste d'ailier avec le FC Barcelone. Il est le deuxième meilleur marqueur de l'équipe d'Espagne derrière Pau Gasol.

Championnat d'Europe masculin de basket-ball 1983
Le championnat d'Europe masculin de basket-ball 1983, communément appelé EuroBasket 1983, est la 23e édition du Championnat d'Europe masculin de basket-ball qui s'est disputé à Limoges, Nantes et Caen en France du 26 mai au 4 juin 1983. Le tournoi est organisé sous l’égide de la Fédération internationale de basket-ball (FIBA), par l'intermédiaire de la zone FIBA Europe
Moszna (Lublin)
Moszna (prononciation : [ˈmɔʂna]) est un village polonais de la gmina de Jastków dans le powiat de Lublin de la voïvodie de Lublin dans l'est de la Pologne.

Il se situe à environ 13 kilomètres à l'ouest de Jastków (siège de la gmina) et 20 kilomètres à l'ouest de Lublin (siège du powiat et capitale de la voïvodie).

Powiat de Lublin
Le powiat de Lublin (polonais : powiat lubelski) est un powiat (district) de la voïvodie de Lublin, dans le sud-est de la Pologne.

Il est né le 1er janvier 1999, à la suite des réformes polonaises de gouvernement local passées en 1998.

Le siège administratif du powiat est la ville de Lublin, bien que ne faisant pas partie du territoire du powiat. Il y a deux autres villes dans le powiat: Bełżyce, située à 23 kilomètres à l'ouest de Lublin, et Bychawa située à 26 kilomètres au sud de Lublin.

Le district couvre une superficie de 1 679,42 kilomètres carrés. En 2006, sa population totale est de 140 562 habitants, avec une population pour la ville de Bełżyce de 7 054 habitants, pour la ville de Bychawa  de 5 285 habitants et une population rurale de 128 223 habitants.
Open de Malaisie féminin de squash 2007
L'Open de Malaisie féminin 2007 (ou Malaysian Open 2007) est l'édition féminine de l'Open de Malaisie, qui est un tournoi du WSA World Series. Le tournoi se tient à Kuala Lumpur en Malaisie du 23 au 28 juillet 2007.

La championne du monde Nicol David remporte son 3e trophée consécutif en battant Tania Bailey en finale dans une revanche de l'édition précédente.

Open de Malaisie féminin de squash 2006
L'Open de Malaisie féminin 2006 (ou Malaysian Open 2006) est l'édition féminine de l'Open de Malaisie, qui est un tournoi du WSA World Series. Le tournoi se tient à Kuala Lumpur en Malaisie du 25 au 30 juillet 2006.

La championne du monde Nicol David conserve son titre en battant Tania Bailey qui avait éliminé la no 1 mondiale Vanessa Atkinson en quart de finale.
Taphrina carpini
Taphrina carpini est une espèce de champignons (Fungi) ascomycètes de la famille des Taphrinaceae et du genre Taphrina. Ce microchampignon phytopathogène et galligène provoque la maladie du balai de sorcière sur les Charmes européens. Comme tous les Taphrinomycetes, cette espèce présente un stade sous forme d'hyphes producteurs de galle et un stade sous forme de levure se nourrissant a priori de matière organique en décomposition mais ce dernier stade n'est pas connu.

Asque (cellule)
Un asque est une cellule reproductrice en forme de sac allongé ou arrondi, cylindrique ou en forme de massue, qui constitue la caractéristique principale des champignons ascomycètes dont les plus connus sont les truffes, les morilles, les pézizes, les lichens et des phytoparasites causant par exemple des oïdiums. L'asque s'oppose à la baside, caractéristique des basidiomycètes,,.

À l'intérieur de l'asque se forment en général huit spores appelées ascospores ; mais le nombre de spores par asque, toujours une puissance de 2, peut être beaucoup plus élevé : 16, 32 jusqu'à 1024 pour Podospora millespora. Ces ascospores sont des endospores issues de la reproduction sexuée résultant d'une méiose qui est un mode de division cellulaire conduisant à une réduction de moitié du nombre de chromosomes de chaque cellule fille. L'asque est formé au bout d'une hyphe ascogène,,.
Conure
Sous le terme de Conure sont regroupés des perroquets et des perruches (famille des Psittacidae et sous-famille des Psittacinae) de taille petite à moyenne appartenant à plusieurs genres néotropicaux. Le terme conure dérive du genre Conurus tombé en désuétude.

Conure dorée
Guaruba guarouba

La Conure dorée (Guaruba guarouba) est une espèce d'oiseau de la famille des Psittacidae, endémique du Brésil.

Cette espèce est la seule du genre Guaruba. Elle est parfois classée dans le genre Aratinga qui comprend d'autres espèces.
Veszprém Aréna
La Veszprém Aréna est un gymnase situé à Veszprém, en Hongrie.

Il s'agit notamment de la salle utilisée par le club de handball du Veszprém KSE, l'un des meilleurs clubs européens. Elle a également accueilli des matchs de l'équipe nationale hongroise de handball et la Supercoupe d'Europe de handball masculin 2008.

Veszprém
Veszprém (prononciation [ˈvɛspɾeːm] ; en allemand : Wesprim ou Weißbrünn ; en slovaque : Vesprém) est une ville de Hongrie. Elle est bâtie sur cinq collines et compte 56 777 habitants. Au moins cent bâtiments sont classés, la ville étant connue pour son patrimoine historique.

C'est une ville de droit comital et le chef-lieu du comitat de Veszprém. Veszprém est également le siège de l'université de Pannonie fondée en 1949.
Lambda cube
Initialement proposé par Henk Barendregt, le -cube permet de visualiser les différentes dimensions pour lesquelles le calcul des constructions apporte une généralisation par rapport au  lambda-calcul simplement typé où un terme ne peut dépendre que d'un autre terme. 
Chaque axe représente une nouvelle forme d'abstraction :

Terme dépendant de type : le polymorphisme (d'où le Système F);

Type dépendant de type : présence d'opérateurs de types ;

Type dépendant de terme.

Type dépendant
En 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 Rocq) sont des exemples de langages à type dépendant.