VM lambda: a Functional Calculus for Scientific Discovery.

Eijiro Sumii Hideo Bannai

Published in: APLAS (2001)

Keyphrases

scientific discovery
human reasoning
artificial intelligence
knowledge discovery
virtual machine
lambda calculus
database
genetic algorithm
fixed point
automated deduction
computer algebra
database systems
natural deduction
algebraic structure
functional analysis