Lambda Calculus and functional programming.

1 item with this tag.