Next
Types Are Theorems; Programs Are Proofs
10
Examples of propositions
a → a
TRUE
a → b
FALSE
a → (b → b)
TRUE
a → (b → a)
TRUE
a → (a → b)
FALSE
Next
Next