English: John C. Reynolds (and later Jean-Yves Girard) formally developed this notion of polymorphism as an extension to lambda calculus (called the polymorphic lambda calculus or System F).
Telugu: జాన్ సి. రేనాల్డ్స్ (మరియు తరువాత జెన్-వైవ్స్ జిరార్డ్) ఈ పాలీ మార్ఫిజం అనే ఆలోచనను లాంబ్డా కాల్క్యులస్ (పాలీ మార్ఫిక్ లాంబ్డా కాల్క్యులస్,లేదా సిస్టం Fగా పిలవబడింది) కు కొనసాగింపుగా అభివృద్ధి చేసాడు.