A General Semantic Construction of Dependent Refinement Type Systems, Categorically.

Published in: FoSSaCS (2021)

Keyphrases

special case
distributed systems
semantic information
semantic similarity
real time
data sets
genetic algorithm
natural language
semantic web