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