Operational aspects of linear lambda calculus

Patrick Lincoln, John C. Mitchell

Browse the full LICS paper archive.