A MALL geometry of interaction based on indexed linear logic. (November 2020) - Unknown