MPINE

swMATH20842MaRDI QIDQ32656FDOQ32656

Author name not available (Why is that?)

Cited In (6)

• Title not available (Why is that?)
• PELCR
• Compilation of Interaction Nets
• Recursive Functions with Pattern Matching in 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