On the Computational Power of Universally Polymorphic Recursion

A. J. Kfoury Jerzy Tiuryn Pawel Urzyczyn

Published in: LICS (1988)

Keyphrases

computational power
parallel processing
computing power
complex objects
memory requirements
deductive databases
datalog programs
database
neural network
logic programming
transitive closure
computational complexity
multithreading