scientific article; zbMATH DE number 7599492

MaRDI QIDQ5040173zbMATH OpenFDO

Authors R. A. G. Seely, J. R. B. Cockett

Publication date 11 October 2022

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)

Cited in

(5)

• Cut rules and explicit substitutions
• On Constructive Cut Admissibility in Deduction Modulo
• Concurrent Process Histories and Resource Transducers
• The nature of entailment: an informational approach
• String diagrams for strictification and coherence

This page was built for publication:

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