Finitary Corecursion for the Infinitary Lambda Calculus.

Stefan Milius Thorsten Wißmann

Published in: CALCO (2015)

Keyphrases

lambda calculus
finite state
programming language
predicate calculus
database query languages
program understanding
object oriented
higher order
model checking
complex objects
general purpose