Login / Signup
Confluence of extensional and non-extensional lambda-calculi with explicit substitutions.
Delia Kesner
Published in:
Theor. Comput. Sci. (2000)
Keyphrases
</>
partial order
genetic algorithm
schema integration
knowledge base