Report - The language LFP - inf.ed.ac.uk · PDF fileLFP evaluation semantics We de ne an evaluation relation: hM ;si+h V ;s 0i where: I M and V areclosed expressions I s and s0 arestates( nite

Please pass captcha verification before submit form