The following pages link to Interaction combinators (Q1368381):
Displaying 21 items.
- Bounded combinatory logic and lower complexity (Q276270) (← links)
- Light logics and optimal reduction: completeness and complexity (Q627123) (← links)
- A basic algebra of stateless connectors (Q860881) (← links)
- Reaction graph (Q1273068) (← links)
- Operational equivalence for interaction nets. (Q1401297) (← links)
- Interaction nets for linear logic (Q1583245) (← links)
- Dynamic connectors for concurrency (Q1603689) (← links)
- Soft linear logic and polynomial time (Q1827397) (← links)
- Encoding linear logic with interaction combinators (Q1854547) (← links)
- Formal molecular biology (Q1884864) (← links)
- Variations on mobile processes (Q1960530) (← links)
- The graphical Krivine machine (Q2464713) (← links)
- Observational equivalence for the interaction combinators and internal separation (Q2867902) (← links)
- Universal Boolean systems (Q2870310) (← links)
- Hard combinators (Q2870311) (← links)
- Sub-\(\lambda\)-calculi, classified (Q2870319) (← links)
- The true concurrency of differential interaction nets (Q4577982) (← links)
- Properties of co-operations: diagrammatic proofs (Q4649462) (← links)
- (Q4870807) (← links)
- Interaction Automata and the ia2d Interpreter (Q5369501) (← links)
- Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators (Q5958469) (← links)