Pages that link to "Item:Q737109"

The following pages link to A class of reversible primitive recursive functions (Q737109):

Displaying 7 items.

• The fixed point problem of a simple reversible language (Q1989327) (← links)
• A class of recursive permutations which is primitive recursive complete (Q1989331) (← links)
• A type-assignment of linear erasure and duplication (Q2193281) (← links)
• QPCF: higher-order languages and quantum circuits (Q2331073) (← links)
• $$\mathsf {qPCF}$$ : A Language for Quantum Circuit Computations (Q2988843) (← links)
• A Certified Study of a Reversible Programming Language (Q4580228) (← links)
• (Q5018491) (← links)