Keyphrases
Inverse Category
100%
Reversible Programming Languages
67%
Flowchart Languages
64%
Recursion
49%
Control Flow
40%
Functional Programming
34%
Functional Languages
29%
Reversible Circuits
29%
Reversible Computing
29%
Daggers
29%
Theory of Computing
29%
Type Systems
29%
Classical Propositional Logic
29%
Reversible Logic Circuit
24%
Profunctor
20%
Ancilla
20%
Rewrite Rules
20%
Rewriting System
20%
Janus
19%
Flow Structure
19%
Categorical Semantics
19%
Diagrammatic Representation
19%
Extensivity
19%
Language-based
19%
Monoidal Structure
17%
Computer Science
Programming Language
59%
Control Flow
40%
Not Gate
29%
Functional Languages
29%
Sequential Composition
29%
Quantum Computing
29%
Supporting Program
29%
Conventional Method
29%
Soundness
29%
model based testing
29%
Type System
29%
Syntactic Representation
29%
Theoretic Structure
29%
Boolean Algebra
29%
Computing Power
29%
Computing Machinery
29%
Syntax Description
29%
Formal Logic
29%
Categorical Semantics
19%
