Parallel Reduction in Type Free lambda/mu-Calculus.

Kensuke Baba Sachio Hirokawa Ken-etsu Fujita

Published in: Electron. Notes Theor. Comput. Sci. (2001)

Keyphrases

type checking
parallel processing
parallel implementation
decision trees
general purpose
reduction method
database query languages