Login / Signup
On completeness and parametricity in the realizability semantics of System F.
Paolo Pistone
Published in:
Log. Methods Comput. Sci. (2019)
Keyphrases
</>
logic programming
formal semantics
relational databases
semantic information
real world
data mining
schema mappings
data quality
default reasoning
model theoretic