univalent

Adjectif

• Se dit d’un élément chimique qui accepte qu’une seule liaison chimique.
• Caractérise une nouvelle approche des fondements des mathématiques basée sur la théorie des types de Martin-Löf.