Denote functions
Experts
Publications (3)

1A Treatment Of Functional Definite Descriptions1994  Hajime Wadatypical examples of relational nouns. Nonrelational FDD denote functions from sets of individuals to individuals. A typical...

2An Implementation Of Formal Semantics In The Formalism Of Relational Databases1990  Claire VANDERHOEFTin the implementation? First, for expressions which denote functions, the fact that a certain expression entails another...

3Normal Form Theorem Proving for the Lambek Calculus1990  Mark Hepple21n the notation used here, types x/y and x\y both denote functions from y (the argument type) into x (the value type)....