Applied combinatory logic