Y. Jung and D. Briggs, “From Combinatory Categorial Grammar to the Calculus of Constructions: A Review of ccg2lambda.”, J Stud Res, vol. 12, no. 1, Feb. 2023.