A correct-by-construction conversion from lambda calculus to combinatory logic.

Wouter Swierstra

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

Keyphrases

lambda calculus
predicate calculus
programming language
higher order
program understanding
database query languages
high level
natural language processing
open source