Functional Back-Ends within the Lambda-Sigma Calculus.

Thérèse Hardin Luc Maranget Bruno Pagano

Published in: ICFP (1996)

Keyphrases

genetic algorithm
lambda calculus
image sequences
databases
decision making
fixed point
automated theorem proving
functional analysis
computer algebra