1. Together with Alessandro Berarducci, he demonstrated an isomorphism between the strictly-positive algebraic data types and the polymorphic lambda-terms, otherwise known as Böhm–Berarducci encoding.

Avec Alessandro Berarducci, Böhm établit un isomorphisme entre les types de données algébriques strictement positives et les lambda-termes polymorphes, connu depuis comme le codage de Böhm-Berarducci.

2. A countable periodic reduced abelian group is determined uniquely up to isomorphism by its Ulm invariants for all prime numbers p and countable ordinals α.

Un groupe abélien dénombrable périodique réduit est déterminé de façon unique à l'isomorphisme près par ses invariants d'Ulm pour tous les nombres premiers p et les ordinaux dénombrables α.

3. In fact, the parallel of f is an isomorphism for every morphism f if and only if the pre-abelian category is an abelian category.

En fait, le parallèle de f est un isomorphisme pour tout morphisme f si et seulement si la catégorie préabélienne est une catégorie abélienne.

4. In algebraic categories (specifically, categories of varieties in the sense of universal algebra), an isomorphism is the same as a homomorphism which is bijective on underlying sets.

Dans les catégories algébriques (en particulier, les catégories des variétés au sens de l'algèbre universelle), un isomorphisme est un homomorphisme bijectif.

5. In mathematics, the Satake isomorphism, introduced by Satake (1963), identifies the Hecke algebra of a reductive group over a local field with a ring of invariants of the Weyl group.

En mathématiques, l'isomorphisme de Satake, introduit par Ichirō Satake en 1963, est un isomorphisme entre l'algèbre de Hecke d'un groupe réductif localement compact sur un corps local non-archimédien et un anneau d'invariants du groupe de Weyl associé.

6. Central american agoutis

Agouti ponctué

7. Central American agouti

Agouti ponctué

8. The bipolar plate firstly has a central region and a peripheral region including the central region.

La plaque bipolaire présente une zone centrale et une zone de bordure entourant la zone centrale.

9. Forwarding of modifications to the Central Register by the central excise liaison offices and the liaison departments

Transfert de modifications vers le registre central par les bureaux centraux de liaison pour l'accise ou par les services de liaison

10. CASDB (Central African States Development Bank

BDEAC (Banque de développement des États de l’Afrique centrale

11. Airborne computers, central or distributed systems

Systèmes centraux ou répartis, ordinateurs embarqués

12. Access to information for Central Authorities

Accès des autorités centrales aux informations

13. - AIR COOLING ( CENTRAL/LOCAL COOLING INSTALLATIONS ) ,

- REFRIGERATION ( INSTALLATION CENTRALE OU LOCALE ) ,

14. • Household accommodation without central heating (AC)

• Ménages sans chauffage central (CA)

15. Monotone functions are central in order theory.

Les applications monotones sont centrales dans la théorie des ordres.

16. Central scotoma, occassionally also other irregular defects.

Scotome central, parfois aussi d’autres défets irreguliers.

17. Central station burglar and fire alarm services

Services anti-effraction et d'avertisseurs d'incendie d'une usine d'électricité

18. - Central alarm panel linked to Fire Dept.

- Panneau d’alarme central relié au groupe électrogène et poste de pompiers.

19. Component 3: subregional activities in Central Africa

Composante 3 : activités sous-régionales pour l’Afrique centrale

20. • First detailed central analysis of procurement activity:

• Première analyse centrale détaillée des activités d’acquisition :

21. Absorbent article with a central rising member

Article absorbant comprenant un element d'elevation central

22. Healing with optic atrophy and large central scotoma.

Guérison avec atrophie optique et grand scotome central.

23. Alimentary Anemia (Central African Republic) All Basic Detail

Alimentary Anemia (Central African Republic) Toute l'information Données générales Précisions

24. Central vacuum units with an acoustic damping pathway

Unites centrales a depression avec voie d'amortissement phonique

25. Administrative capacity at central level is lagging behind.

Les capacités administratives au niveau central sont à la traîne.

26. We are its central purchasing agent, banker and accountant.

En offrant ses services de façon efficiente, efficace et exemplaire, il s’efforce de faire du gouvernement moderne une réalité.

27. Abstract Costing studies are central to health policy decisions.

Résumé Les études de coûts sont essentielles aux décisions stratégiques en matière de santé.

28. Electric heat accumulating apparatus for central or local installation

Appareils électriques d'accumulation de chaleur pour installations centralisées ou décentralisées

29. All have air conditioning, television, central heating and lift.

Ces derniers disposent de la climatisation, de la télévision, du chauffage central et d’un ascenseur.

30. One of the central themes has been depreciation policy.

La politique de dépréciation a constitué l'un des thèmes centraux .

31. Published profit and loss account of a central bank

Compte de résultat publié d’une banque centrale

32. Model 3 (Shared Funding): – – – There is some central funding Libraries contribute to match central funding Prices reflect greater discounts because of larger aggregated purchasing power

central finance le paiement de l’achat de tout le partage informatique des ressources électroniques grâce au Centre d’expertise partagé du GdC (démarche style EMM) financement central, assorti aux ministères, afin de financer les achats faits par l’entremise du Centre d’expertise partagée du GdC (démarche de financement partagé style « EMM ») 5

33. Presidency pro tempore, central banks, competent national ministries and agencies.

Présidence pro tempore, banques centrales, ministères et instances nationales compétents.

34. The cameras routinely monitor the night sky over Central Europe.

Les caméras du réseau surveillent régulièrement le ciel nocturne au‐dessus de l’Europe centrale.

35. Electric and electronic alarm systems, central alarm posts and stations

Installations électriques et électroniques d'alarme, postes et stations d'alarmes centraux

36. Central air-conditioning equipment and their filters for household use

Équipements centraux de climatisation et leurs filtres à usage domestique

37. The development of the central cell of Brassica campestris cv.

Les auteurs ont examiné le développement de la cellule centrale de Brassica campestris cv.

38. Central scotoma bilateral unilateral | up to 70% up to 20% |

Scotome central bilatéral unilatéral | jusqu’à 70 % jusqu’à 20 % |

39. Only four Central American States implement advance passenger information systems.

Seuls quatre États d’Amérique centrale ont mis en place un système de renseignements préalables concernant les voyageurs.

40. The central device determines the absolute phase of all devices.

Le dispositif central détermine la phase absolue de tous les dispositifs.

41. The Nuera air 50 central vacuum system is proof positive.

Le système central d'aspiration Nuera air 50 en est la démonstration pure et simple.

42. Air quality-temperature controlled central conditioner and multi-zoned conditioning

Appareil central de climatisation controle par la qualite de l'air et par sa temperature, pour une climatisation multizone

43. You gonna be a central part of this war, OK?

Vous allez être le pivot de cette guerre.

44. Several areas of the building have no central air conditioning.

Plusieurs secteurs du bâtiment ne sont pas dotés de climatisation centrale.

45. Key words: cardiac hypertrophy, inotropic responses, central a1-adrenoreceptors, arrythmias.

Mots clés : l'hypertrophie cardiaque, les résponses inotropes, les récepteurs adrénergiques, les arythmies.

46. Central air-conditioning equipment and their filters for industrial use

Équipements centraux de climatisation et leurs filtres à usage industriel

47. • Model 3 (Shared Funding): – There is some central funding – Libraries contribute to match central funding – Prices reflect greater discounts because of larger aggregated purchasing power Recommended Model

• Modèle 3 (financement partagé) : un certain financement central, assorti aux ministères, afin de financer les achats faits par l’entremise du Centre d’expertise partagée du GdC (démarche de financement partagé style « EMM ») Modèle recommandé

48. notification of modifications of the Central Register sent to national registers;

notification des modifications apportées au registre central, transmise aux registres nationaux;

49. Computer terminals were used for time sharing access to central computers.

Les terminaux informatiques ont été utilisés pour le partage d'accès aux ordinateurs centraux.

50. Central Bureau of Statistics/UNWTO (1) Statistical information from accommodation facilities

Bureau central de statistiques, OMT (1) Statistiques relatives aux établissements d’hébergement commerciaux

51. shares in the capital of central banks of the Member States;

les parts de capital dans les banques centrales des États membres;

52. Check all your email-box from one central place - completely free.

Relevez gratuitement toutes vos boites Emails sur une seule page.

53. Member States may allow their central competent authority to delegate tasks

Les États membres peuvent autoriser leur autorité compétente centrale à déléguer certaines tâches

54. Published profit and loss account of a central bank (9) (10)

Compte de résultat publié d’une banque centrale (9) (10)

55. The administrative functions are executed from the central administration workstation (1).

Les fonctions administratives s'exécutent depuis le poste de travail central de l'administration (1).

56. Electric heat accumulating apparatus and installations for central or local installation

Appareils et installations électriques d'accumulation de chaleur pour installations centralisées ou décentralisées

57. Published profit and loss account of a central bank (2) (3)

Compte de résultat publié d’une banque centrale (2) (3)

58. Central African States Development Bank Financial Products: Loans, Equity Priority Sectors:

Banque de développement des états de l’Afrique centrale Produits financiers: capitaux propres, prêts Secteurs prioritaires: infrastructure, agriculture, tourisme, TI, industrie Restrictions à la propriété:

59. Document Types: Central agency reports outlining activities reviewed and related correspondence.

Types de documents : Séances d'information pour le Cabinet et mémoires au Cabinet.

60. Konstantinidis, acting as Agents), European Central Bank (ECB) (represented by: A.

Konstantinidis, agents), Banque centrale européenne (BCE) (représentants: A.

61. Flynn, acting as Agents), European Central Bank (represented initially by: N.

Flynn, agents,), Banque centrale européenne (représentants: initialement N.

62. Cooling - by central plant or individual refrigeration or air conditioning units.

Chauffage - par chaudières à eau chaude ou à vapeur, à basse ou à haute pression.

63. This is an absolutely central demand which we shall pursue further!

C'est une demande-clé que nous continuerons à défendre.

64. Development of the aecial and uredial stages of Melampsoramedusae leaf rust of poplar in relation to the phenology of its hosts (Populus spp. and Larix spp.) was monitored from March until October during two consecutive growing seasons in central Iowa, east central Minnesota, and north central Wisconsin.

Les auteurs ont suivi le développement des écidies et des urédies de la rouille des feuilles du peuplier causée par Melampsoramedusae en relation avec la phénologie de ses hôtes (Populus spp. et Larix spp.). Les observations ont été faites entre les mois de mars et octobre, pendant deux saisons de croissance consécutives, dans le centre de l'Iowa, le centre-est du Minnesota et le centre-nord Wisconsin.

65. Many levels of security controls are in place, one of the key elements being the central Netware Directory Services (NDS) which allows central management of access rights and authorizations.

De nombreux niveaux de contrôle de sécurité sont en place, l’un des éléments essentiels étant les Netware Directory Services (NDS) qui permettent la gestion centrale des droits et autorisations d’accès.

66. All rooms at Hotel Acropoli offer en suite bathrooms and central heating.

Toutes les chambres sont équipées de salle de bains et du chauffage central.

67. ITEM OVERDRAFT OR OTIIER CREDIT FACILITiES BY CENTRAL BANK TO PUBLIC ENTTIES

Oui (d) automatique Non

68. Electric and electronic alarm installations, alarm clocks, central alarm posts and stations

Installations d'alarmes électriques et électroniques, réveille-matin, postes et stations d'alarmes centraux

69. Central alarm stations and systems, security system apparatus and installations, identification equipment

Stations d'alarmes centrales et systèmes, appareils et installations de systèmes de sécurité, matériel d'identification

70. Detachment mechanism for a central venous access filter and method of use

Mécanisme de détachement pour filtre d'accès veineux central, et procédé d'utilisation

71. Number of subregional initiatives to address cross-border insecurity in Central Africa

Nombre d’initiatives sous-régionales visant à régler le problème de l’insécurité des frontières en Afrique centrale

72. Originating in Central Asia, the almond tree appears in France in 1945.

Le soja est connu pour l'action des isoflavones sur les tissus de la peau.

73. Thermostats and temperature monitoring devices for central heating and air conditioning installations

Thermostats et dispositifs de surveillance de température pour installations de chauffage central et de climatisation

74. Konstantinidis, acting as Agents); and European Central Bank (ECB) (represented by: A.

Konstantinidis, agents); et Banque centrale européenne (BCE) (représentants: A.

75. Maintenance of the Central Register and forwarding of modifications to national registers

Mise à jour du registre central et transfert de modifications aux registres nationaux

76. Central vehicle data and control system or artificial intelligence driver assistance device

Données de véhicule centrales et système de commande ou dispositif d'intelligence artificielle d'aide à la conduite

77. 2. Maintaining securities accounts at the top tier level ('central maintenance service');

2. la tenue centralisée de comptes de titres au plus haut niveau (service de tenue centralisée de comptes);

78. 2) Cooling - by central plant or individual refrigeration or air conditioning units.

2) Refroidissement - par installation centrale ou par appareils individuels de réfrigération ou de conditionnement d'air.

79. The Central Bank is advised in writing whether such accounts do exist.

La Banque centrale est informée par écrit de l’existence de ces comptes.

80. The Committee emphasizes the need to accelerate the field central review process.

Le Comité souligne la nécessité d’accélérer les contrôles sur le terrain.