Agent Skills: interaction-nets
Lafont's interaction nets for optimal parallel λ-reduction. Graph rewriting
UncategorizedID: plurigrid/asi/interaction-nets
165
Install this agent skill to your local
Skill Files
Browse the full folder contents for interaction-nets.
Loading file tree…
Select a file to preview its contents.