APA (7th ed.) Citation

Bertrand, M. L., & Saurin, A. (2026). Bidirectional Interpolation for the Lambda-Calculus -- Revisiting and Formalising Craig-Čubrić Interpolation.

Chicago Style (17th ed.) Citation

Bertrand, Meven Lennon, and Alexis Saurin. Bidirectional Interpolation for the Lambda-Calculus -- Revisiting and Formalising Craig-Čubrić Interpolation. 2026.

MLA (9th ed.) Citation

Bertrand, Meven Lennon, and Alexis Saurin. Bidirectional Interpolation for the Lambda-Calculus -- Revisiting and Formalising Craig-Čubrić Interpolation. 2026.