Pages that link to "Item:Q4580228"
From MaRDI portal
The following pages link to A Certified Study of a Reversible Programming Language (Q4580228):
Displaying 5 items.
- The fixed point problem of a simple reversible language (Q1989327) (← links)
- A class of recursive permutations which is primitive recursive complete (Q1989331) (← links)
- Certifying algorithms and relevant properties of reversible primitive permutations with \textsf{Lean} (Q2097420) (← links)
- From reversible programming languages to reversible metalanguages (Q2139051) (← links)
- A type-assignment of linear erasure and duplication (Q2193281) (← links)