Searching for "Combinators for Interaction Nets." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Combinators For Interaction Nets
- … Workshop on Theory and Formal Methods, Imperial College Press, 1995. COMBINATORS FOR INTERACTION NETS…
- Cited by 9 (0 self) – Add To MetaCart
-
Combining Interaction Nets with Externally Defined Programs
- …Combining Interaction Nets with Externally Defined Programs Maribel Fern'andez Ian Mackie Jorge…
- Add To MetaCart
-
A denotational semantics for the symmetric interaction combinators
- ….e., correctness criterions). Among all interaction net systems, the interaction combinators [Laf97] stand out…
- Cited by 1 (1 self) – Add To MetaCart
-
Integrating Paradigms via Interaction Nets (Extended Abstract)
- …/discarding of data, and the reduction process is local). There is a notion of combinators for interaction nets [14…
- Add To MetaCart
Showing 1 through 4.
