High-Level Signatures and Initial Semantics.

Benedikt Ahrens André Hirschowitz Ambroise Lafont Marco Maggesi

Published in: CSL (2018)

Keyphrases

high level
semantic information
low level
high level semantics
formal semantics
conceptual model
low level features
data sets
operational semantics
information systems
programming language
speech acts
model theoretic