equal
deleted
inserted
replaced
13 </PRE> |
13 </PRE> |
14 <P> |
14 <P> |
15 An eminently readable description of this theory is found |
15 An eminently readable description of this theory is found |
16 <A HREF="http://www4.informatik.tu-muenchen.de/~nipkow/pubs/fsttcs96.html"> |
16 <A HREF="http://www4.informatik.tu-muenchen.de/~nipkow/pubs/fsttcs96.html"> |
17 here</A>. |
17 here</A>. |
|
18 <P> |
|
19 A denotational semantics for IMP based on HOLCF is found |
|
20 <A HREF="../../HOLCF/IMP/index.html">here</A>. |
18 </BODY></HTML> |
21 </BODY></HTML> |