Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03641643n
Noun Named Entity
Categories: Logique mathématique, Théorie de la démonstration, Théorie des types
FR
système F  Systeme F
FR
Le système F est un formalisme logique qui permet d'exprimer de façon très riche et très rigoureuse des fonctions et d'y démontrer formellement des propriétés difficiles. Wikipedia
Definitions
Relations
Sources
FR
Le système F est un formalisme logique qui permet d'exprimer de façon très riche et très rigoureuse des fonctions et d'y démontrer formellement des propriétés difficiles. Wikipedia
Une extension du lambda-calcul simplement typé. Wikipedia Disambiguation
IS A
lambda-calcul
lambda-calcul typé
PART OF
lambda cube
DIFFERENT FROM
Ferry Corsten
DISCOVERER OR INVENTOR
John C. Reynolds
Jean-Yves Girard
Wikipedia
FR
système F
Wikidata
FR
système F
Wikipedia Redirections
FR
Systeme F
Wikidata Alias
FR
Systeme F

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License