Denotational semantics for guarded dependent type theory.

Ales Bizjak Rasmus Ejlers Møgelberg

Published in: CoRR (2018)

Keyphrases

knowledge discovery
denotational semantics
databases
programming language
artificial intelligence
general purpose
fixed point