A Note on the Uniform Kan Condition in Nominal Cubical Sets.

Robert Harper Kuen-Bang Hou

Published in: CoRR (2015)

Keyphrases

real time
set theoretic
sufficient conditions
database
databases
video sequences
definite clause
precedence relations