Home > Electronics Tutorials > Online Computer Terms Dictionary

Online Computer Terms Dictionary

theory

Related entries include:

abstract interpretation
abstract machine
Actors
algebraic
Algebra of Communicating Processes
alpha conversion
Array Theory
autoprojector
axiomatic semantics
axiomatic set theory
backward analysis
beta conversion
Bird-Meertens Formalism
bottom
bounded
Busy Beaver
CA
canonicity
category
chain
Church integer
Church-Rosser Theorem
closed term
closure
closure conversion
coalesced sum
combinator
complete metric space
complete partial ordering
decision problem
delta reduction
denotational semantics
deterministic automaton
directed set
discriminated union
distributive lattice
domain theory
effective computable
embedding
entropy
eta conversion
evaluator
Finite State Machine
FSM
Gottlob Frege
greatest lower bound
Head Normal Form
head-strict
ideal
inclusive
Isabelle
join
lattice
least upper bound
lifted domain
linear argument
linear logic
linear type
Liskov substitution principle
minimal automaton
model checking
monad
monadic
nondeterministic automaton
open/closed principle
operational semantics
pi-calculus
pointed domain
polymorphism
powerdomain
predomain
pre-order
projection
recursion theory
reduction strategy
reflexive
relational algebra
semantics
set complement
state
static analysis
sticky analysis
sum
syntax tree
transparent
type
type assignment
typed lambda-calculus

 


Discover

     more......