A continuum of theories of lambda calculus without semantics | IEEE Conference Publication | IEEE Xplore