Login / Signup

Rewrite Systems on a Lattice of Types.

Jim CunninghamA. J. J. Dick
Published in: Acta Informatica (1985)
Keyphrases
  • rewrite systems
  • term rewriting