equal
deleted
inserted
replaced
78 automatically the reasoning infrastructure for $\alpha$-equated terms. We |
78 automatically the reasoning infrastructure for $\alpha$-equated terms. We |
79 also prove strong induction principles that have the usual variable |
79 also prove strong induction principles that have the usual variable |
80 convention already built in. |
80 convention already built in. |
81 \end{abstract} |
81 \end{abstract} |
82 |
82 |
83 \category{CR-number}{subcategory}{third-level} |
83 %\category{F.4.1}{subcategory}{third-level} |
84 |
84 |
85 \terms |
85 \terms |
86 formal reasoning, programming language calculi |
86 formal reasoning, programming language calculi |
87 |
87 |
88 \keywords |
88 \keywords |