LambdaLab: an interactive λ-calculus reducer for learning.

Daniel Sainati Adrian Sampson

Published in: SPLASH-E (2018)

Keyphrases

learning algorithm
learning process
interactive learning
reinforcement learning
knowledge acquisition
online learning
virtual reality
learning problems
interactive video
real time
genetic algorithm
website
case study
user interaction
learning scheme
elementary school