Computer Science
Programming Language
100%
Denotational Semantics
55%
lambda-calculus
50%
Intuitionistic Logic
50%
Control Flow
50%
Relational Database
41%
Nondeterminism
33%
Imperative Language
33%
Operational Semantics
33%
Polymorphic Type
30%
Control Operator
25%
And-States
25%
Equational Theory
22%
Data Structure
22%
Functional Program
22%
Instantiation
22%
Sequential Algorithm
16%
Order Information
16%
Call by Value
16%
Dynamic Binding
16%
Theoretic Model
16%
Renaming
16%
Relativization
16%
Positive Occurrence
16%
Answer Question
16%
Observational Equivalence
16%
Negative Occurrence
16%
Atomic Formula
16%
Classical Theory
16%
Abstract Data Type
16%
Relational Semantics
16%
Resource Model
16%
Winning Strategy
16%
Order Quantification
16%
Finite Multiset
16%
Data-Stores
16%
Theoretical Basis
16%
Computational Modeling
16%
Annotation
16%
Numerical Value
16%
Transition System
16%
Abstract Machine
16%
Proof System
16%
Reasoning about Programs
16%
Operational Behavior
16%
Parallel Composition
16%
Fixed Points
16%
Model Checking
13%
Checking Technique
13%
Type Constructor
13%
Monotone Function
11%
Structured Block
11%
Dynamic Topology
8%
Longest Path
8%
Concurrent System
8%
Control-Flow Analysis
8%
Syntactics
8%
Computational System
8%
Existing Category
8%
Explicit Representation
8%
Soundness
8%
Finite Element Analysis
8%
Concrete Example
5%
Universal Quantification
5%
Categorical Semantics
5%
Functional Languages
5%
coalgebra
5%
Mathematics
Calculus
83%
Type Theory
38%
Definability
33%
Game Semantics
33%
Fixed Points
33%
Natural Number
33%
Biproduct
28%
Programming Language
22%
Approximant
20%
Infinite Sum
20%
Multiset
20%
Nondeterminism
16%
Apply It
16%
Axiom of Choice
16%
Winning Strategy
16%
Combinator
16%
Intuitionistic Logic
16%
Main Difference
16%
Distinct Object
16%
Change of Basis
16%
Data Structure
16%
Functor
16%
Linear Logic
16%
Differential Operator
16%
Classical Logic
16%
Dependent Type
16%
Classical Theory
16%
Open Problem
16%
Monotone Function
11%
Boolean Ring
8%
Probability Theory
8%
Computable Function
5%
Provability
5%
Longest Path
5%
Fundamental Result
5%
Intensional Model
5%
Transition Probability
5%
Network Model
5%
Matrix (Mathematics)
5%