scientific article; zbMATH DE number 130889

MaRDI QIDQ4029341zbMATH OpenFDO

Authors Yves Lafont

Publication date 29 March 1993

Full work available at URL http://www.numdam.org/item?id=CTGDC_1992__33_3_267_0, https://eudml.org/doc/91505

zbMATH Keywords

monoidal categoryrewriting systemelimination of variables in equational reasoning

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 431767
• Minimality of the system of seven equations for the category of finite sets
• scientific article; zbMATH DE number 1086713
• Presenting a Category Modulo a Rewriting System
• Diagram rewriting and operads

Cites work

• scientific article; zbMATH DE number 3971634 (Why is no real title available?)
• scientific article; zbMATH DE number 517043 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• scientific article; zbMATH DE number 3299786 (Why is no real title available?)
• The geometry of tensor calculus. I

Cited in

(7)

• On the semantics of the universal quantifier
• An abstract framework for environment machines
• New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic
• A characterization of lambda definability in categorical models of implicit polymorphism
• Interaction systems II: The practice of optimal reductions
• The linear abstract machine
• scientific article; zbMATH DE number 431767 (Why is no real title available?)

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 Q4029341)