A Certified Study of a Reversible Programming Language (Q4580228): Difference between revisions

@@ label / en / label / en @@
+A Certified Study of a Reversible Programming Language
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The Matita Interactive Theorem Prover
@@ Property / cites work: The Matita Interactive Theorem Prover / rank @@
+Normal rank
@@ Property / cites work @@
+What Do Reversible Programs Compute?
@@ Property / cites work: What Do Reversible Programs Compute? / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible Machine Code and Its Abstract Processor Architecture
+Normal rank
@@ Property / cites work @@
+Logical Reversibility of Computation
@@ Property / cites work: Logical Reversibility of Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Some Domain Theory and Denotational Semantics in Coq
+Normal rank
@@ Property / cites work @@
+Q4650576
@@ Property / cites work: Q4650576 / rank @@
+Normal rank
@@ Property / cites work @@
+Isomorphic Interpreters from Logically Reversible Abstract Machines
+Normal rank
@@ Property / cites work @@
+A class of reversible primitive recursive functions
+Normal rank
@@ Property / cites work @@
+A Survey of Graphical Languages for Monoidal Categories
+Normal rank
@@ Property / cites work @@
+Q3141916
@@ Property / cites work: Q3141916 / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible Flowchart Languages and the Structured Reversible Program Theorem
+Normal rank
@@ Property / cites work @@
+On quantum lambda calculi: a foundational perspective
+Normal rank
@@ Property / full work available at URL @@
+https://drops.dagstuhl.de/opus/volltexte/2018/8477/pdf/LIPIcs-TYPES-2015-7.pdf/
+Normal rank
@@ Property / OpenAlex ID @@
+W2623394745
@@ Property / OpenAlex ID: W2623394745 / rank @@
+Normal rank
@@ Property / title @@
+A Certified Study of a Reversible Programming Language (English)
+Normal rank