Axiomatic rewriting theory II: the λσ-calculus enjoys finite normalisation cones.

Paul-André Melliès

Published in: J. Log. Comput. (2000)

Keyphrases

computer algebra
theoretical basis
decision theory
axiomatic characterization
general theory
set theory
computational model
databases
artificial intelligence
theoretical framework
finite number
real numbers