Guarded Cubical Type Theory: Path Equality for Guarded Recursion.
Lars BirkedalAles BizjakRanald CloustonHans Bugge GrathwohlBas SpittersAndrea VezzosiPublished in: CoRR (2016)
Keyphrases
- fixed point
- query answering
- digital images
- shortest path
- theoretical framework
- database
- decision procedures
- horn clauses
- tree decompositions
- database query languages
- probabilistic databases
- general theory
- theoretical basis
- information theory
- wireless sensor networks
- relational databases
- database systems
- case study
- artificial intelligence
- information retrieval
- databases