English Mogensen–Scott encoding Cited by user Cwjnkins on 21 Jan 2020 In computer science, Scott encoding is a way to represent (recursive) data types in the lambda calculus.