Would aliens understand lambda calculus? (2018)