Lambda-calcul

concept

système formel de la logique mathématique

Wikipedia Wikidata
Lambda-calcul

Propriétés

p279_labels
système formel

Catégories

concepts mathématiques sciences concepts abstraits