Closure under alpha-conversion
| Author(s) : | Randy Pollack, |
| Publisher : | N/A |
| Publication Date : | 1993 |
| ISSN : | N/A |
| Abstract : | Consider an informal presentation of simply typed-calculus as in [Bar92]. Leaving out some of the details, let oe, ? ? range over simple types, x, y range over a class of term variables, and M, N, range over the Church-style terms. A statement, |