From reversible programming languages to reversible metalanguages
収録刊行物
-
- Theoretical Computer Science
-
Theoretical Computer Science 920 46-63, 2022-06
Elsevier BV
Theoretical Computer Science 920 46-63, 2022-06
Elsevier BV