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 |
