JUNG, Y.; BRIGGS, D. From Combinatory Categorial Grammar to the Calculus of Constructions: A Review of ccg2lambda. Journal of Student Research, v. 12, n. 1, 28 Feb. 2023.