Login / Signup

Partial Intersection Type Assignment in Applicative Term Rewriting Systems.

Steffen van Bakel
Published in: TLCA (1993)
Keyphrases
  • term rewriting systems
  • functional programs
  • machine learning
  • logic programs