MPINE
From MaRDI portal
Software:32656
No author found.
Related Items (6)
Unnamed Item ⋮ PELCR ⋮ Recursive Functions with Pattern Matching in Interaction Nets ⋮ Compilation of Interaction Nets ⋮ From Functional Programs to Interaction Nets via the Rewriting Calculus ⋮ Interaction Nets With Nested Pattern Matching
This page was built for software: MPINE
