| Next | Types Are Theorems; Programs Are Proofs | 12 |
a → a TRUE inhabited
a → b FALSE ununhabited
a → (b → b) TRUE
a → (b → a) TRUE
continued...
| Next | |
Copyright © 2014 M. J. Dominus |