scientific article; zbMATH DE number 130889

zbMATH Open0769.68060MaRDI QIDQ4029341FDOQ4029341

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

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

monoidal categoryrewriting systemelimination of variables in equational reasoning

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cites Work

• The geometry of tensor calculus. I
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (7)

• The linear abstract machine
• On the semantics of the universal quantifier
• New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic
• An abstract framework for environment machines
• Interaction systems II: The practice of optimal reductions
• Title not available (Why is that?)
• A characterization of lambda definability in categorical models of implicit polymorphism

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)