Tag: combinatory logic

1 events with tag "combinatory logic"

1934 ID: 400

Haskell Curry develops combinatory logic, providing alternative foundation to lambda calculus

ID: 400