Login / Signup
Calculi of Generalized beta-Reduction and Explicit Substitutions: The Type-Free and Simply Typed Versions.
Fairouz Kamareddine
Alejandro Ríos
J. B. Wells
Published in:
J. Funct. Log. Program. (1998)
Keyphrases
</>
artificial intelligence
higher order
set valued
data mining
image processing
hidden markov models