Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
product_type [2014/03/30 19:42]
nikolaj
product_type [2014/04/03 16:23]
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 ​=== +=== Element of === 
-[[Type ​theory]]+[[Type]]
Link to graph
Log In
Improvements of the human condition