An Alpha-Corecursion Principle for the Infinitary Lambda Calculus.

Alexander Kurz Daniela Petrisan Paula Severi Fer-Jan de Vries

Published in: CMCS (2012)

Keyphrases

lambda calculus
programming language
predicate calculus
higher order

artificial intelligence
complex objects
database query languages
high level

object oriented
program understanding
expert systems

general purpose
theorem proving
fault detection