Sequent calculus and equational programming

DOI10.4204/EPTCS.185.7MaRDI QIDQ6940450zbMATH OpenFDO

Authors Nicolas Guenot, Daniel Gustafsson

Publication date 19 August 2025

Copyright license Creative Commons license

Full work available at URL https://doi.org/10.4204/EPTCS.185.7

Mathematics Subject Classification ID

Logic in computer science (03B70) Functional programming and lambda calculus (68N18) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites work

• A focused sequent calculus framework for proof search in pure type systems
• Copatterns, programming infinite structures by observations
• Focusing and polarization in linear, intuitionistic, and classical logics
• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 1231701 (Why is no real title available?)
• scientific article; zbMATH DE number 2079018 (Why is no real title available?)
• scientific article; zbMATH DE number 4189687 (Why is no real title available?)
• Lambda terms for natural deduction, sequent calculus and cut elimination
• Least and greatest fixed points in linear logic
• Pattern matching without K
• The view from the left

This page was built for publication: Sequent calculus and equational programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6940450)