Report copyright - Neil Sculthorpe - Work It, Wrap It, Fix It, Fold It (Extended ...2 N. Sculthorpe and G. Hutton Theoriginalformalisation(2009)wasbaseduponaleast-fixed-pointsemanticsofrecur-sive programs
Please pass captcha verification before submit form