lambda-calcul

Désignations

français	lambda-calcul (correct,masculine noun)
anglais	lambda calculus (correct) OBS: Together with ... combinatory logic, it was invented around 1930 by the logicians Church, Schonfinkel and Curry.

Codes : pays ou zone où la désignation a cours (CH, FR, DE, EU = Union européenne, INT = usage international). Une désignation barrée est déconseillée.

Définitions

anglais: A formalism for representing functions and ways of combining functions.

Classement

Collections

Électronique et informatique informatics

Domaines

Mathématiques informatiques

API

curl -H "Authorization: Token VOTRE_CLE" \
  "https://opendata.altius-group.ch/language/terminology/api/v1/concepts/termium-24b802c83b36a7b8/"

Données : TERMIUM Plus, Bureau de la traduction, gouvernement du Canada. Licence du gouvernement ouvert – Canada.