A compact encoding for λ-terms in interaction calculus

Anton Salikhmetov

Published in: CoRR (2013)

Keyphrases

human computer interaction
databases
web services
learning environment
background knowledge