Give a representation of lists in interaction nets, and use it to implement a function that interleaves the elements of two given lists. More precisely, define an interaction system that, given two...

Give a representation of lists in interaction nets, and use it to implement

a function that interleaves the elements of two given lists. More precisely,

define an interaction system that, given two lists l1 and l2, produces a new

list containing the elements of l1 interleaved with those of l2. For instance,

the result of interleaving [0, 2, 4] and [1, 3] is the list [0, 1, 2, 3, 4].