Coinductive Techniques in Infinitary Lambda-Calculus.

Published in: CoRR (2015)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
program understanding
databases
artificial intelligence
formal model
case study
object oriented
expressive power
reverse engineering
software maintenance