The following pages link to (Q4870807):
Displaying 11 items.
- Interaction combinators (Q1368381) (← links)
- Interaction nets and term-rewriting systems (Q1389438) (← links)
- Interaction nets for linear logic (Q1583245) (← links)
- Encoding linear logic with interaction combinators (Q1854547) (← links)
- Concrete process categories (Q2841311) (← links)
- Universal Boolean systems (Q2870310) (← links)
- Interaction Net Implementation of Additive and Multiplicative Structures (Q3025335) (← links)
- (Q4494368) (← links)
- On context semantics and interaction nets (Q4635658) (← links)
- Recursive Functions with Pattern Matching in Interaction Nets (Q5170281) (← links)
- Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators (Q5958469) (← links)