online computing dictionary

A

• abstract interpretation
• Actors
• algebraic
• Algebra of Communicating Processes
• alpha conversion
• Array Theory
• autoprojector
• axiomatic semantics
• axiomatic set theory

B

• backward analysis
• beta conversion
• Bird-Meertens Formalism
• bottom
• bounded
• Busy Beaver

C

• canonicity
• category
• Church integer
• Church-Rosser Theorem
• closed term
• closure conversion
• coalesced sum
• codomain
• combinator
• complete metric space
• complete partial ordering

D

• decision problem
• delta reduction
• denotational semantics
• deterministic automaton
• directed set
• discriminated union
• distributive lattice
• domain theory

E

• effective computable
• entropy
• eta conversion
• evaluator

F

• Finite State Machine
• FSM

G

• greatest lower bound

H

• Head Normal Form
• head-strict

I

• ideal
• inclusive
• Isabelle

J

K

L

• lattice
• least upper bound
• lifted domain
• linear argument
• linear logic
• Liskov substitution principle

M

• minimal automaton
• model checking

N

• non-deterministic automaton

O

• open/closed principle
• operational semantics

P

• pi-calculus
• pointed domain
• polymorphism
• powerdomain
• predomain
• projection

Q

R

• recursion theory
• reduction strategy
• reflexive
• relational algebra

S

• semantics
• set complement
• static analysis
• sticky analysis
• syntax tree

T

• type
• type assignment
• typed lambda-calculus

U

V

W

X

Y

Z