And for Coordination
Stergios Chatzikyriakidis, Zhaohui Luo · 2020
And for CoordinationIn Chatzikyriakidis and Luo (2012), we have only studied how to give generic typing to coordinating connectives such as "and", but not how to characterize their semantic behaviors.For example, as described in section 2.3.2,we have introduced the universe LTYPE with which "and" can be interpreted as And : ΠA:LTYPE.A → A → A, but we have not described ways to define the semantic operator And.