Dominical Categories: Recursion Theory without Elements.

Robert A. Di Paola Alex Heller

Published in: J. Symb. Log. (1987)

Keyphrases

video sequences
theoretical framework
theoretical basis
database
databases
search algorithm
probabilistic model
logic programming
hierarchical structure
theoretical foundation