Certifying expressive power and algorithms of reversible primitive permutations with \textsf{Lean} (Q6151610)
From MaRDI portal
scientific article; zbMATH DE number 7803175
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Certifying expressive power and algorithms of reversible primitive permutations with \textsf{Lean} |
scientific article; zbMATH DE number 7803175 |
Statements
Certifying expressive power and algorithms of reversible primitive permutations with \textsf{Lean} (English)
0 references
12 February 2024
0 references
reversible computation
0 references
primitive recursion
0 references
Lean
0 references
0 references
