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

Related Items (6)

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

This page was built for publication: