A Typed Logic of Partial Functions Reconstructed Classically.

Cliff B. Jones Cornelis A. Middelburg

Published in: Acta Informatica (1994)

Keyphrases

multi valued
lambda calculus
higher order
logic programming
modal logic
logical framework
formal theory
data mining
genetic algorithm
search engine
basis functions