Reduction and Unification in Lambda Calculi with Subtypes.

Tobias Nipkow Zhenyu Qian

Published in: CADE (1992)

Keyphrases

real time
breast cancer
database
machine learning
website
higher order
fixed point
theorem proving
reduction method