The following pages link to Interaction Graphs (Q4635900):
Displaying 6 items.
- Interaction graphs: graphings (Q345705) (← links)
- Interaction graphs: multiplicatives (Q714715) (← links)
- Interaction nets for linear logic (Q1583245) (← links)
- Global view on reactivity: switch graphs and their logics (Q1935598) (← links)
- (Q4643962) (← links)
- Unifying lower bounds for algebraic machines, semantically (Q6647768) (← links)