System F




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].



< Previous Terms Terms Containing System F Next Terms >
system analyst
system board
system call
system catalog
System Control Language
 Active Language I
Aditi
AESOP
ALADIN
ALEPH
 system management
System Management Bus
System Management Mode
System Management Server
system manager