HVM using interaction nets as alternative to Turing computation deserves a mention. Google: HigherOrderCompany