No CrossRef data available.
Published online by Cambridge University Press: 05 July 2001
The theory presented here is a new, radical step in the research program that started with linear logic and aiming at an interactive, resource and space conscious account of reasoning and programming.