Jung, Yeonho, and Daniel Briggs. “From Combinatory Categorial Grammar to the Calculus of Constructions: A Review of ccg2lambda.”. Journal of Student Research 12, no. 1 (February 28, 2023). Accessed May 18, 2024. https://www.jsr.org/hs/index.php/path/article/view/4400.