Skip to main content

interaction-nets

Explores Lafont's interaction nets for optimal parallel λ-reduction, enabling efficient graph rewriting and computation.

Install this skill

or
interaction-nets2 files

Comments

Sign in to leave a comment.

No comments yet. Be the first to comment!
Installation guide →