bn:03641643n
Noun Named Entity
Categories: Type theory, 1971 in computer science, Logic, Polymorphism (computer science), Lambda calculus
EN
System F  Cry  F2  F omega  
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