activity
20102026
most citedA New Connective in Natural Deduction, and its Application to Quantum Computing

12 citations · 33 across the 10 of their papers we have counts for

collaborators
Showing 2011Show all

1 paper · 1 filter

cs.LO2011★ 1 cited

Confluence via strong normalisation in an algebraic λ-calculus with rewriting

Pablo Buiras, Alejandro Díaz-Caro, Mauro Jaskelioff

The linear-algebraic lambda-calculus and the algebraic lambda-calculus are untyped lambda-calculi extended with arbitrary linear combinations of terms. The former presents the axio…