slc

We have hosted the application slc in order to run this application in our online workstations with Wine or directly.

Quick description about slc:

Symbolic Lambda Calculus is a logical formalism based on lambda calculus and combinatory logic, in which there is only one kind of objects, which can represent either terms or equalities. It uses de Bruijn's and lambda calculus notations.

Audience: Science/Research.

Programming Language: C.
Categories: