▁the ▁surname ▁include : ▁ ▁Ad ria an ▁Val cken ier ▁( 1 6 9 5 – 1 7 5 1 ), ▁Dutch ▁account ant ▁and ▁Governor - General ▁of ▁the ▁Dutch ▁East ▁Ind ies ▁Gill is ▁Val cken ier ▁( 1 6 2 3 – 1 6 8 0 ), ▁Reg ent ▁and ▁Mayor ▁of ▁Amsterdam ▁Jan ▁Val cken ier ▁S uring ar ▁( 1 8 6 4 – 1 9 3 2 ), ▁Dutch ▁botan ist <0x0A> </s> ▁In ▁computer ▁science , ▁Scott ▁encoding ▁is ▁a ▁way ▁to ▁represent ▁( rec ursive ) ▁data ▁types ▁in ▁the ▁lambda ▁calculus . ▁ ▁Church ▁encoding ▁performs ▁a ▁similar ▁function . ▁ ▁The ▁data ▁and ▁operators ▁form ▁a ▁mathematical ▁structure ▁which ▁is ▁embedded ▁in ▁the ▁lambda ▁calculus . ▁ ▁Where as ▁Church ▁encoding ▁starts ▁with ▁representations ▁of ▁the ▁basic ▁data ▁types , ▁and ▁builds ▁up ▁from ▁it , ▁Scott ▁encoding ▁starts ▁from ▁the ▁simplest ▁method ▁to ▁compose ▁algebraic ▁data ▁types . ▁ ▁M og ensen – Sc ott ▁encoding ▁extends ▁and ▁slightly ▁mod ifies ▁Scott ▁encoding ▁by ▁applying ▁the ▁encoding ▁to ▁Met ap ro gram ming . ▁ ▁This ▁encoding ▁allows ▁the ▁representation ▁of ▁lambda ▁calculus ▁terms , ▁as ▁data , ▁to ▁be ▁operated ▁on ▁by ▁a ▁meta ▁program . ▁ ▁History ▁ ▁Scott ▁encoding ▁appears ▁first ▁in ▁a ▁set ▁of ▁un pub lished ▁lecture ▁notes ▁by ▁D ana ▁Scott ▁whose ▁first ▁c itation ▁occurs ▁in ▁the ▁book ▁Com bin atorial ▁Log ic , ▁Volume ▁II . ▁Michel ▁Par ig ot ▁gave ▁a ▁logical