Entries relating to theory
abstract interpretation ·
abstract machine ·
Actors ·
algebraic ·
Algebra of Communicating Processes ·
alpha conversion ·
Array Theory ·
axiomatic semantics ·
Bird-Meertens Formalism ·
bottom ·
Busy Beaver ·
CA ·
canonicity ·
chain ·
closed term ·
coalesced sum ·
decision problem ·
denotational semantics ·
deterministic automaton ·
discriminated union ·
effective computable ·
embedding ·
evaluator ·
greatest lower bound ·
head-strict ·
inclusive ·
Isabelle ·
Isabelle-92 ·
Isabelle-93 ·
least upper bound ·
linear type ·
minimal automaton ·
nondeterministic automaton ·
operational semantics ·
pi-calculus ·
predomain ·
reduction strategy ·
semantics ·
state ·
sum ·
transparent ·
type ·
typed lambda-calculus