A User's Friendly Syntax to Define Recursive Functions as Typed lambda-Terms.

Published in: TYPES (1994)

Keyphrases

recursive functions
inductive inference
user defined
higher order
lambda calculus
reinforcement learning
user interface
end users
collaborative filtering
user model
precisely defined
friendly interface
social networks
high level
user preferences
user experience