Sistem F
System F (ayrıca polimorfik lambda hesabı veya ikinci dereceden lambda hesabı), lambda hesaplamalarına dayanan bir biçimsel sistemdir. Birçok işlevsel programlama dilinin temelini oluşturur ve özellikle programlama dil teorisi alanında önemli bir rol oynar. Jean-Yves Girard ve Jean-Jacques Levy tarafından 1972 yılında oluşturulmuştur.