(1)
Jung, Y.; Briggs, D. From Combinatory Categorial Grammar to the Calculus of Constructions: A Review of ccg2lambda. J Stud Res 2023, 12.