Output Without Delay: A π-Calculus Compatible with Categorical Semantics.

Ken Sakayori Takeshi Tsukada

Published in: FSCD (2021)

Keyphrases

algebraic structure
formal language
numerical values
formal semantics
database query languages
process algebra
relational calculus
logic programming
input data
databases
semantic information
conceptual model
conceptual graphs
data sets
logical framework
computational properties
database systems
knowledge base