Strong Reduction for Typed Lambda Calculus with First-Class Environments.

Shin-ya Nishizaki Mizuki Fujii

Published in: ICICA (LNCS) (2012)

Keyphrases

lambda calculus
programming language
predicate calculus
database
higher order
database query languages
high level
general purpose
program understanding
xml documents
source code
first order logic
complex objects
normal form