NakataandUustalu(2009)denecoinductivebig-stepandsmall-stepsemantics,i - PPT Presentation
t1t2t1vt2
t1t2t1xtt2vtxDvr
t1t2rTheserulesshouldneitherbereadinductivelynorcoinductivelyThesemanticsisinsteadobtainedastheleastxpointofFwithrespecttotheorder
v
denedbyXvYDXCYCXY ID: 521264