I do think this article from peter van roy has pretty clear and useful definitions: https://docs.google.com/viewer?url=http%3A%2F%2Fwww.info.ucl.ac.be%2F~pvr%2F

I do think this article from peter van roy has pretty clear and useful definitions: https://docs.google.com/viewer?url=http%3A%2F%2Fwww.info.ucl.ac.be%2F~pvr%2FVanRoyChapter.pdf https://docs.google.com/viewer?url=http%3A%2F%2Fwww.info.ucl... See page 25 and 34.