scientific article

zbMath1272.68166MaRDI QIDQ2849867

Pablo Arrighi, Gilles Dowek

Publication date: 20 September 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104053034

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

rewrite systembilinear functiontensorial productvectorial space

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Multilinear algebra, tensor calculus (15A69) Vector spaces, linear dependence, rank, lineability (15A03)

Related Items (5)

Unnamed Item ⋮ Semantics of quantum programming languages: Classical control, quantum control ⋮ Linear-algebraic λ-calculus: higher-order, encodings, and confluence. ⋮ The vectorial \(\lambda\)-calculus ⋮ Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits

This page was built for publication: