Next:
Surface Syntax
Up:
classnote 14
Previous:
classnote 14
Plan
-calculus
syntax
induction principle
equality
de Bruijn indices
binding structure
Reference: CN
8
,
9
, and
10
from Fall 93