Regular Systems in lambda-Calculus.

Adolfo Piperno Enrico Tronci

Published in: Int. J. Found. Comput. Sci. (1990)

Keyphrases

lambda calculus
database
management system
distributed systems
database systems
object oriented