Login / Signup
Guarded Cubical Type Theory: Path Equality for Guarded Recursion.
Lars Birkedal
Ales Bizjak
Ranald Clouston
Hans Bugge Grathwohl
Bas Spitters
Andrea Vezzosi
Published in:
CSL (2016)
Keyphrases
</>
fixed point
query answering
database
tree decompositions
horn clauses
probabilistic databases
shortest path
computational model
theoretical framework
deductive databases
real time
decision making
digital images
theoretical basis
decision procedures
database query languages