#

graph-reduction

Here are 2 public repositories matching this topic...

asperti / BOHM1.1

Bologna Optimal Higher-Order Machine, Version 1.1

lambda functional-programming lambda-calculus higher-order-functions compilers lambda-expressions graph-reduction

Updated Feb 17, 2017
C

tom-weatherhead / facility

A Lambda Calculus interpreter implemented in C.

c interpreter lambda-calculus graph-reduction beta-reduction y-combinator de-bruijn-notation church-numerals

Updated Aug 27, 2022
C

Improve this page

Add a description, image, and links to the graph-reduction topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the graph-reduction topic, visit your repo's landing page and select "manage topics."