PRELIMINARY! MIGHT BE SUBJECT TO CHANGE
Latest update April 22, 2008
To avoid spam, all mail addresses on this page have the "@" replaced by "#".
Ch 1: all except 1.6.2, 1.8.
Ch 2: all except 2.2, 2.3.3, proofs of lemmas in 2.4.2, 2.5.1, 2.6
Ch 3: 3.1 (introduction), 3.1.1, 3.3 (introduction), 3.2.1 (structural operational semantics of FUN), 3.3.1, 3.4 (all).
Ch 4: All except "Direct tensor product" and "Reduced product and reduced tensor product" (pp. 255-258), and 4.5.3. However, you need not learn the proofs.
Ch 5: 5.1, 5.2.1 (natural semantics of FUN), 5.3.1, 5.3.2, 5.4.1, 5.4.2.
Ch 6: All, except proofs.