sweirich / lambda-calculus

Denotational Semantics of the Untyped Lambda Calculus
16Updated last month

Alternatives and similar repositories for lambda-calculus:

Users that are interested in lambda-calculus are comparing it to the libraries listed below