Guarded Dependent Type Theory with Coinductive Types.

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

Published in: FoSSaCS (2016)

Keyphrases

multiple types
theoretical framework
real world
machine learning
information theory
database
multi agent
expert systems
general theory
special features