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