Counting and generating terms in the binary lambda calculus.

Katarzyna Grygiel Pierre Lescanne

Published in: J. Funct. Program. (2015)

Keyphrases

integrity constraints
lambda calculus
data structure
natural language
programming language
description logics
predicate calculus