Confluence Properties of Weak and Strong Calculi of Explicit Substitutions.

Pierre-Louis Curien Thérèse Hardin Jean-Jacques Lévy

Published in: J. ACM (1996)

Keyphrases

databases
desirable properties
structural properties
image processing
website
database systems
multi agent
pairwise
probabilistic model
theorem proving