adrilancelot/Abella-lambda-Barendregt-theory

Lancelot, Adrienne; Accattoli, Beniamino; Vemclefs, Maxime

doi:10.4230/artifacts.23906

Artifact

adrilancelot/Abella-lambda-Barendregt-theory Software

Authors Adrienne Lancelot , Beniamino Accattoli , Maxime Vemclefs

Part of: Collection: Supplementary Materials
License: Creative Commons Attribution 4.0 International
Publication Date: 2025-09-22

Document Identifiers

DOI: 10.4230/artifacts.23906
URN: urn:nbn:de:0030-drops-239060

Author Details

Adrienne Lancelot

Inria & LIX, Ecole Polytechnique, UMR 7161, Paris, France
Université Paris Cité, CNRS, IRIF, F-75013, Paris, France

Beniamino Accattoli

Inria & LIX, Ecole Polytechnique, UMR 7161, Paris, France

Maxime Vemclefs

Independent, Paris, France

Content

Software (Abella formalization code): https://github.com/adrilancelot/Abella-lambda-Barendregt-theory
archived version

Version/Status

Content created at: 2025-06-28

Cite As Get BibTex

Adrienne Lancelot, Beniamino Accattoli, Maxime Vemclefs. adrilancelot/Abella-lambda-Barendregt-theory (Software, Abella formalization code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/artifacts.23906

Description

This repository contains the Abella formalisation accompanying the ITP25 paper "Barendregt's Theory of the λ-calculus, Refreshed and Formalized" authored by Adrienne Lancelot, Beniamino Accattoli and Maxime Vemclefs.

Subject Classification

Programming Languages

Abella

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata Views

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail