Crowdly
Add to Chrome
If a term M has the type p \rightarrow (p \rightarrow q) , and a term N ...
✅ The verified answer to this question is available below. Our community-reviewed solutions help you understand the material better.
If a term M has the type
p \rightarrow (p \rightarrow q), and a term
N has the type
p, then what type does the term
M N have?
❌
❌
❌
✅
❌