Gentzen-Mints-Zucker duality

DOI10.1017/S0960129526100462MaRDI QIDQ7228350zbMATH OpenFDO

Authors Daniel Murfet, William Anthony Troiani

Publication date 14 April 2026

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/S0960129526100462

zbMATH Keywords

lambda calculuslogic

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• A set of postulates for the foundation of logic.
• Constructivism in mathematics. An introduction. Volume II
• Data Types as Lattices
• Deductive Completeness
• scientific article; zbMATH DE number 3813583 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 4103051 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 1169377 (Why is no real title available?)
• scientific article; zbMATH DE number 2079018 (Why is no real title available?)
• scientific article; zbMATH DE number 949290 (Why is no real title available?)
• scientific article; zbMATH DE number 874672 (Why is no real title available?)
• scientific article; zbMATH DE number 3225350 (Why is no real title available?)
• scientific article; zbMATH DE number 3237808 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3316072 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Intuitionism. An introduction
• Lectures on the Curry-Howard isomorphism
• Locally cartesian closed categories and type theory
• Marginalia on sequent claculi
• Normalization as a homomorphic image of cut-elimination
• Permutability of proofs in intuitionistic sequent calculi
• The blind spot. Lectures on logic
• The correspondence between cut-elimination and normalization
• The Mathematics of Sentence Structure
• Untersuchungen über das logische Schliessen. II
• Varieties of linear calculi

This page was built for publication: Gentzen-Mints-Zucker duality

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