Intersection and Union Types in the lambda-my-my/tilde-calculus.

Daniel J. Dougherty Silvia Ghilezan Pierre Lescanne

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

databases
search algorithm
hidden markov models
database
data sets
image processing
web services
knowledge representation