Keyphrases
Quipper
100%
First-order Modal Logic
91%
Sheaves
81%
Topological Semantics
69%
First-order
68%
Modal Logic
65%
Dynamic Lifting
54%
Logical Paradoxes
54%
Quantum Structures
54%
Quantum System
49%
Quantum Computation
48%
Linear Dependent Types
45%
First-order Logic
45%
Quantum Resource
45%
Indeterminism
40%
Decidable Logic
40%
Propositional Modal Logic
39%
Categorical Model
36%
Quantum Circuit
36%
Quantum Physics
36%
Quantum Information
36%
Hilbert Space
36%
Branching Space-times
34%
Quantum Programming Languages
34%
Non-contextuality
31%
Dynamic Epistemic Logic
31%
Nonlocality
31%
Inconsistency
31%
Dynamic Logic
31%
Categorical Semantics
28%
Relational Presheaves
27%
Stone Representation Theorem
27%
Presheaf Models
27%
Topological Completeness
27%
Algebra with Operators
27%
Belnap
27%
Branch Model
27%
Dynamic Algebra
27%
Complete Orthomodular Lattice
27%
Categorical Equivalence
27%
Bell
27%
Sheaf Theory
27%
Database Theory
27%
Contextual Semantics
27%
Escher
27%
Modal Correlation
27%
Tarski
27%
McKinsey
27%
Natural Places
27%
Boolean Algebra
27%
Computer Science
Categorical Semantics
54%
Boolean Algebra
54%
Quantum Computing
54%
Operational Semantics
49%
Type Systems
49%
Quantum Circuit
45%
Quantum Programming
40%
Generation Time
40%
Execution Time
40%
Theoretic Structure
27%
Fixed Points
27%
Relational Database
27%
Transition System
27%
Function Symbol
27%
Topological Structure
27%
Ontology
27%
Semantic Modeling
27%
Theoretic Approach
27%
Quantum Program
27%
Guiding Principle
27%
Constant Domain
27%
Database Theory
27%
Quantum Algorithm
27%
Expression Level
27%
Barcan Formula
27%
Real Number
27%
Quantified Modal Logic
27%
Negativity Constraint
27%
Local Consistency
27%
Linear Equation
27%
Second-Order Logic
27%
Programming Language
22%
Quantum Search Algorithm
13%
Dimensional Hilbert Space
13%
Distributed Computing
13%
And-States
13%
Computational Resource
9%
Programming Language Feature
9%
Classical Control
9%
Mathematics
Topological Space
81%
Epistemic Logic
81%
Stone Representation Theorem
54%
Boolean Algebras
54%
Lattices
54%
Topological Structure
27%
Mathematics
27%
Indeterminism
27%
Polytope
27%
Dynamic Logic
27%
Generalized Hilbert Space
27%
Quantum Algorithm
27%
Topos
27%
Decidability
27%
Quantum Circuit
27%
Categorical Equivalence
27%
Algebraic Topology
27%
Fixed Points
27%
Quantum Computation
27%
Probability Theory
27%
Combinatorial Structure
27%
Category Theory
27%
Dependent Type
27%
Interior Operator
27%
Hausdorff
20%
Light Cone
20%
Quantum Logic
18%
Closed Linear Subspace
13%
Labelled Transition System
13%
Transition Relation
13%
Linear Equation
9%
Dimensional Hilbert Space
9%
Apply It
9%
Quantum Search Algorithm
9%
Stone Duality
9%
Nonnegativity
9%
Kripke Semantics
9%
Quantified Modal Logic
9%
Alternative Way
6%
Qubit
6%
Programming Language
6%
