Typed vs. Untyped Realizability.

Ulrich Berger Tie Hou

Published in: MFPS (2012)

Keyphrases

higher order
lambda calculus
relational databases
small number
fixed order
database
machine learning
artificial intelligence
decision making
expert systems
object oriented