Flow Analysis in the Geometry of Interaction

• Authors:

• Thomas P. Jensen;Ian Mackie

• Affiliations:

• -;-

• Venue:
• ESOP '96 Proceedings of the 6th European Symposium on Programming Languages and Systems
• Year:
• 1996