A generalised Kleene-Rosser paradox for a system containing the combinator K.

Martin W. Bunder

Published in: Notre Dame J. Formal Log. (1973)

Keyphrases

propositional logic
regular expressions
database
pattern matching
belief revision
high level
domain knowledge
low level
data warehouse
object oriented