We found a matchYour institution may have access to this item. Find your institution then sign in to continue.TitleA Provably Correct Translation of the λ-Calculus into a Mathematical Model of C++.AuthorsAbdul Rauf, Rose H.; Berger, Ulrich; Setzer, AntonPublicationTheory of Computing Systems, 2008, Vol 43, Issue 3/4, p298ISSN1432-4350Publication typearticleDOI10.1007/s00224-007-9062-1