equal
deleted
inserted
replaced
35 designed our quotient package so that every step in a quotient construction |
35 designed our quotient package so that every step in a quotient construction |
36 can be performed separately and as a result we are able to specify completely |
36 can be performed separately and as a result we are able to specify completely |
37 the procedure of lifting theorems from the raw level to the quotient level. |
37 the procedure of lifting theorems from the raw level to the quotient level. |
38 The importance for programming language research is that many properties of |
38 The importance for programming language research is that many properties of |
39 programming language calculi are easier to verify over $\alpha$-equated, or |
39 programming language calculi are easier to verify over $\alpha$-equated, or |
40 $\alpha$-quotient, terms, than over ``raw'' terms. |
40 $\alpha$-quotient, terms, than over raw terms. |
41 \end{abstract} |
41 \end{abstract} |
42 |
42 |
43 % generated text of all theories |
43 % generated text of all theories |
44 \input{session} |
44 \input{session} |
45 |
45 |