The dagger lambda calculus - Atzemoglou, Philip (Electronic proceedings in theoretical computer science, 2014)