Coba jelasin Lihat pula dari Penerjemah (komputasi) dong

Theoretical Foundations For Practical 'Totally Functional Programming' (Chapter 7 especially) Doctoral dissertation tackling the problem of formalising what is an interpreter