Types with semantics: soundness proof assistant.

Olha Shkaravska

Published in: MERLIN (2005)

Keyphrases

data sets
default reasoning
formal semantics
proof theory
complete axiomatization
machine learning
information retrieval
social networks
information systems
semantic representation
transformation rules
proof theoretic