Type Similarity for the Lambek-Grishin Calculus Revisited.

Published in: Categories and Types in Logic, Language, and Physics (2014)

Keyphrases

similarity measure
type checking
semantic similarity
user defined
computer algebra
machine learning
distance measure
knowledge base
information retrieval
description logics
similarity function
information systems
similarity measurement
similarity metrics
similar objects
search engine
provably correct