Abramsky. Computational interpretations of linear logic. Unpublished manuscript (1990)

by Samson