Haskell Curry
(2 articles)
1930
Lambda Calculus
A formal system in mathematical logic and computer science for expressing computation based on function abstraction and application.
Generality: 500
1970
Type System
A framework within which types are assigned to various constructs in computer programs, enhancing code reliability and safety.
Generality: 675