Taming non-compositionality using new binders (0)

by F Prost
Venue:Lecture Notes in Computer Science 4618 (2007
Add To MetaCart
Results 1 - 1 of 1

unknown title

by Ro Díaz-caro A, Pablo Arrighi B, Manuel Gadella C, Jonathan Grattage B , 806
"... Measurements and confluence in quantum lambda calculi with explicit qubits ..."
Abstract - Add to MetaCart
Measurements and confluence in quantum lambda calculi with explicit qubits