@misc{indiciae1fcdc5b0e7b5,
  title = {Bidirectional Interpolation for the Lambda-Calculus: Revisiting and Formalising Craig-Čubrić Interpolation},
  author = {Meven Lennon Bertrand and Alexis Saurin},
  year = {2026},
  doi = {10.4230/lipics.itp.2026.30},
  url = {https://arxiv.org/abs/2603.03083},
  note = {Source identifier: 2603.03083}
}