MILLER, DALE
University of Pennsylvania
2 papers on CoChatORCID 0000-0003-0274-4954
Most cited papers
- Verified
A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
MILLER, D. (1991) · Journal of Logic and Computation
Logic, programming, and type systemsLogic, Reasoning, and Knowledge
Cited by 382
- Verified
Some uses of higher-order logic in computational linguistics
Miller, D. A., & Nadathur, G. (1986) · Proceedings of the 24th annual meeting on Association for Computational Linguistics -
Logic, Reasoning, and KnowledgeSyntax, Semantics, Linguistic Variation
Cited by 58
Go further with a free account
Verify every reference, keep papers in a library, and ask questions across them.
Sign up - it is free