Guarded Dependent Type Theory with Coinductive Types.

Ales Bizjak Hans Bugge Grathwohl Ranald Clouston Rasmus Ejlers Møgelberg Lars Birkedal

Published in: CoRR (2016)

Keyphrases

multiple types
general theory
database systems
fixed point
computational models
theoretical basis
formal theory
real time
real world
case study
similarity measure
bayesian networks
data structure
search algorithm
expert systems