Intuitionistic linear logic considered as a programming language. Slides for a talk given at MFPS '90 (1990)

by Samson Abramsky