Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
product_type [2014/03/30 19:42] nikolaj |
product_type [2014/03/30 20:09] nikolaj |
||
|---|---|---|---|
| Line 21: | Line 21: | ||
| $\lambda x.\,\sin\,x\ \rightsquigarrow_\eta\ \sin$ | $\lambda x.\,\sin\,x\ \rightsquigarrow_\eta\ \sin$ | ||
| + | == Logic == | ||
| + | |||
| + | Note how the rules reflect the logical "and". | ||
| ==== Parents ==== | ==== Parents ==== | ||
| === Related === | === Related === | ||
| [[Type theory]] | [[Type theory]] | ||
