Operational aspects of linear lambda calculus | IEEE Conference Publication | IEEE Xplore