Jung, Y., and D. Briggs. “From Combinatory Categorial Grammar to the Calculus of Constructions: A Review of ccg2lambda.”. Journal of Student Research, vol. 12, no. 1, Feb. 2023, doi:10.47611/jsrhs.v12i1.4400.