System F
typed lambda calculus
Facts
3 properties- Instance of
- lambda calculus, typed lambda calculus[4]
- Different from
- Ferry Corsten[5]
- Discoverer or inventor
- Jean-Yves Girard, John C. Reynolds[2][3]
🏷️ Also known as
en F2
en second-order lambda calculus
en second-order λ-calculus
en System F
en F₂
en polymorphic lambda calculus
en polymorphic λ-calculus
el Σύστημα F
fr Systeme F
fr système F
it Sistema F
it Lambda calcolo di secondo ordine
ja システムF
ru полиморфное лямбда-исчисление
ru Система F
tr Sistem F
uk лямбда-числення другого порядку
uk поліморфне λ-числення
uk поліморфне лямбда-числення
zh System F
🔖 Identifiers · 3
🔗 Connections
Discoverer or inventor 2
Instance of 2
Belongs to 1
Different from 1
Press Enter · cited answer in seconds
0 sources
Summary
System F is a lambda calculus[1].
Body
Works and Contributions
Credited discoveries include Jean-Yves Girard[2], a mathematician[6], b. 1947[7], of France[8], awarded the Poncelet Prize[9], specialised in proof theory[10] and John C. Reynolds[3], a computer scientist[11], 1935–2013[12], of United States[13], awarded the Lovelace Medal[14].