G. Frege, Sense and reference. The philosophical review, vol.57, pp.209-230, 1948.

L. Damas, Type assignment in programming languages, 1984.

A. Kratzer and I. Heim, Semantics in generative grammar, vol.1185, 1998.

L. Zhao and C. L. Zou, Intentional Logic as a Possible Scheme to Sematics Computation, Journal of Chongqing University of Technology(Social Science, vol.32, issue.6, 2018.

G. V. Morrill, Type Logical Grammar, 1994.

G. V. Morrill and C. Grammar, , 2011.

L. T. Gamut, L. Logic, and M. , , 1991.