Unsolvable Terms in Typed Lambda Calculus with Fixpoint Operators (Extended Abstract).

Irina Bercovici

Published in: Logic of Programs (1985)

Keyphrases

extended abstract
lambda calculus
fixpoint
logic programs
programming language
deductive databases
predicate calculus
database query languages
database
complex objects
higher order
program understanding
background knowledge
xml schema
semantic network
horn clauses