A Trace Semantics for System F Parametric Polymorphism.

Guilhem Jaber Nikos Tzevelekos

Published in: FoSSaCS (2018)

Keyphrases

formal semantics
logic programming
semantic information
parametric models
information retrieval
conceptual model
real time
databases
neural network
description logics
semantic relationships
conceptual graphs
graphical representation
specification language
model theoretic
argumentation semantics