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