| Next | Types Are Theorems; Programs Are Proofs | 10 |
a → a TRUE
a → b FALSE
a → (b → b) TRUE
a → (b → a) TRUE
a → (a → b) FALSE
| Next | Next |