A Lambda-Calculus with Constructors.

Ariel Arbiser Alexandre Miquel Alejandro Ríos

Published in: RTA (2006)

Keyphrases

lambda calculus
description logics
programming language
knowledge representation and reasoning
predicate calculus
database query languages
complex objects
logic programming
program understanding
knowledge base
first order logic
expressive power