bn:03641643n
Noun Named Entity
NL
System F
EN
System F is a typed lambda calculus that introduces, to simply typed lambda calculus, a mechanism of universal quantification over types. Wikipedia
Relations
Sources