Pages that link to "Item:Q737109"
From MaRDI portal
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)