SYSTEM F Meaning of SYSTEM F in English A type system by J-Y. Girard. Also known as Lambda-2 or the polymorphic lambda-calculus . ["Proofs and Types", J-Y. Girard, Cambridge U Press 1989]. (1994-11-23) FOLDOC computer English dictionary. Английский словарь по компьютерам FOLDOC. 2012