Guarded Traced Categories.

Sergey Goncharov Lutz Schröder

Published in: FoSSaCS (2018)

Keyphrases

real time
neural network
information systems
website
bayesian networks
fixed point
query answering