Events Tagged: "combinatory logic"

1 events with tag "combinatory logic"

1934 ID: 400
Haskell Curry develops combinatory logic, providing alternative foundation to lambda calculus
ID: 400