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