Combinatory logic

Introduction

Introduction

The combinatory logic is related to the Lambda calculus, but there are no free variables.