Artefact for Bidirectional Interpolation for the Lambda-Calculus

Lennon-Bertrand, Meven; Saurin, Alexis

doi:10.4230/artifacts.27123

Artifact

Artefact for Bidirectional Interpolation for the Lambda-Calculus Software

Authors Meven Lennon-Bertrand , Alexis Saurin

Part of: Collection: Supplementary Materials
License: MIT License
Publication Date: 2026-07-16

Document Identifiers

DOI: 10.4230/artifacts.27123
URN: urn:nbn:de:0030-drops-271238

Author Details

Meven Lennon-Bertrand

Université Paris Cité, INRIA, CNRS, IRIF, F-75013 Paris, France

Alexis Saurin

Université Paris Cité, CNRS, INRIA, IRIF, F-75013 Paris, France

Content

Software: https://github.com/MevenBertrand/interpolation
archived version

Version/Status

Content created at: 2026-05-22

Cite As Get BibTex

Meven Lennon-Bertrand, Alexis Saurin. Artefact for Bidirectional Interpolation for the Lambda-Calculus (Software). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/artifacts.27123

Description

Interpolation for the simply-typed lambda-calculus

Subject Classification

Programming Languages

TeX
Rocq Prover
Perl
Makefile

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata

0

Downloads

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail