Implementing the linear logic programming language Lygon (1995)

by James Harland, Michael Winikofi
Venue:In Proceedings of the 1995 International Logic Programming Symposium