Kleene's Slash and Existence of Values of Open Terms in Type Theory.

Published in: CSL (1992)

Keyphrases

theoretical framework
theoretical basis
attribute values
propositional logic
formal theory
real time
case study
image sequences
expert systems
relational databases
logic programs
background knowledge
standard deviation
information theory