mercoledì, dicembre 05, 2007

Free Headache Here!

C, expression of type , expression v of type e*.
Very appropiate for today, since I have been studying categorical grammar today (example: "So the interpretation domain of second-order predicates is the sets of functions mapping (characteristic functions of) sets and entities onto truth values, that is, the set of characteristic functions of sets of charateristic functions of sets of entities."), here this SEB-picture:




*for Confused(v).
.. = 1!

(Not to be Confused with Principle C or Condition C.)

Nessun commento: