Functional Programming and Combinatory Algebras.

Published in: MFCS (1988)

Keyphrases

functional programming
programming language
execution model
functional language
object oriented programming
quantifier elimination
object oriented
temporal reasoning
databases
management system
distributed systems