Login / Signup
Combining First and Higher Order Rewrite Systems with Type Assignment Systems.
Franco Barbanera
Maribel Fernández
Published in:
TLCA (1993)
Keyphrases
</>
rewrite systems
higher order
databases
pairwise
distributed systems
artificial intelligence
programming language
distributed databases