Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03641643n
Noun Named Entity
Categories: Lambda calculus, Logic, Polymorphism (computer science), 1971 in computer science, Type theory
EN
System F  Cry  F2  F omega  Fω
EN
System F is a typed lambda calculus that introduces, to simply typed lambda calculus, a mechanism of universal quantification over types. Wikipedia
Definitions
Relations
Sources
EN
System F is a typed lambda calculus that introduces, to simply typed lambda calculus, a mechanism of universal quantification over types. Wikipedia
Typed lambda calculus Wikidata
IS A
lambda calculus
typed lambda calculus
PART OF
lambda cube
DIFFERENT FROM
Ferry Corsten
DISCOVERER OR INVENTOR
John C. Reynolds
Jean-Yves Girard
Wikipedia
EN
System F
Wikidata
EN
System F
Wikipedia Redirections
EN
Cry (System F song), F omega, Fω, Girard-Reynolds Isomorphism, higher-order polymorphic lambda calculus, polymorphic lambda calculus, second-order lambda calculus, second order lambda calculus, System f, System F-omega, System F-sub, System F:, System FC, System Fω, Universal types
Wikidata Alias
EN
F2, F₂, polymorphic lambda calculus, polymorphic λ-calculus, second-order lambda calculus, second-order λ-calculus

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