4 ms·
Interaction nets are another computational model based on graph-reduction. https://ezb.io/thoughts/interaction_nets/lambda_calculus/2025-04-25_normalization.ht
by enricozb 1y ago
Interaction nets are another computational model based on graph-reduction.
https://ezb.io/thoughts/interaction_nets/lambda_calculus/2025-04-25_normalization.html https://ezb.io/thoughts/interaction_nets/lambda_calculus/202...