Sense and reference. The philosophical review, vol.57, pp.209-230, 1948. ,
Type assignment in programming languages, 1984. ,
Semantics in generative grammar, vol.1185, 1998. ,
Intentional Logic as a Possible Scheme to Sematics Computation, Journal of Chongqing University of Technology(Social Science, vol.32, issue.6, 2018. ,
Type Logical Grammar, 1994. ,
, , 2011.
, , 1991.