Winikoff, M. and J. Harland, Deterministic resource management for the linear logic programming language Lygon, Technical Report 94/23, Melbourne University, 1994

Languages mentioned

• Lygon {1995} Linear Logic Programming Language