Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
product_type [2014/03/30 19:42] nikolaj |
product_type [2014/04/01 14:13] 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]] |