paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Export bibliographique
Exporter en XML
Exporter en RDF
Améliorer la notice
Signaler une erreur
Identifiant IdRef : 027576345Copier cet identifiant (PPN)
Notice de type Rameau

Point d'accès autorisé

Lambda-calcul

Variante de point d'accès

Calcul lambda
[Nom commun]

Notices d'autorité liées

Autre   Modèle de programmation chimique - Voir aussi
Autre   Isomorphisme de Curry-Howard - Voir aussi
Autre   Pi-calcul - Voir aussi
  Logique mathématique

Source

PASCAL Lex., 1991

Autres identifiants

Identifiant BNF : FRBNF119586902
Identifiant ARK : http://catalogue.bnf.fr/ark:/12148/cb119586908

Utilisation dans Rameau

Le point d'accès ne peut être employé que dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial

Equivalent dans un autre référentiel

Terme équivalent dans un autre système : Lambda calculusDate de consultation du référentiel ou de la classification externe : 2017-02-09URI : http://id.loc.gov/authorities/subjects/sh85074174Code du système ou de la classification utilisé : LCSH
Terme équivalent dans un autre système : Lambda-calculDate de consultation du référentiel ou de la classification externe : 2001-07-10Code du système ou de la classification utilisé : RVMLaval

Informations sur la notice

Identifiant de la notice : 027576345
Créateur de la notice : 0004
Création : 23-11-1983
Dernier modificateur de la notice : 341720001
Dernière modification : 16-06-2021 à 08 h 59

... Références liées : ...