scientific article

zbMath0769.68060MaRDI QIDQ4029341

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: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

monoidal categoryrewriting systemelimination of variables in equational reasoning

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items

Interaction systems II: The practice of optimal reductions, The linear abstract machine, On the semantics of the universal quantifier, A characterization of lambda definability in categorical models of implicit polymorphism, New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic, An abstract framework for environment machines

Cites Work

• The geometry of tensor calculus. I
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item