Computational interpretations of linear logic. Imperial College Research Report DOC (1990)

by S Abramsky