TY  - RPRT
TI  - Bidirectional Interpolation for the Lambda-Calculus: Revisiting and Formalising Craig-Čubrić Interpolation
AU  - Meven Lennon Bertrand
AU  - Alexis Saurin
PY  - 2026
DO  - 10.4230/lipics.itp.2026.30
UR  - https://arxiv.org/abs/2603.03083
ID  - 2603.03083
ER  -