Thomas P. Jensen, Ian Mackie
Flow Analysis in the Geometry of Interaction
ESOP, 1996.
@inproceedings{ESOP-1996-JensenM, author = "Thomas P. Jensen and Ian Mackie", booktitle = "{Proceedings of the Sixth European Symposium on Programming}", doi = "10.1007/3-540-61055-3_37", editor = "Hanne Riis Nielson", isbn = "3-540-61055-3", pages = "188--203", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Flow Analysis in the Geometry of Interaction}", volume = 1058, year = 1996, }