Nominal Lambda Calculus: An Internal Language for FM-Cartesian Closed Categories.

Roy L. Crole Frank Nebel

Published in: MFPS (2013)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
general purpose
complex objects
artificial intelligence
higher order
program understanding
databases
high level
database systems
theorem proving
transitive closure