Login / Signup
On completeness and parametricity in the realizability semantics of System F.
Paolo Pistone
Published in:
CoRR (2018)
Keyphrases
</>
formal semantics
logic programming
neural network
semantic information
data mining
genetic algorithm
graphical representation
semantic representation
data structure
operational semantics
intended meaning