prathyvsh / history-of-lambda-calculus

Survey on materials that touch on the history of Lambda Calculus
12Updated 4 years ago

Alternatives and similar repositories for history-of-lambda-calculus:

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