Cubical Syntax for Reflection-Free Extensional Equality.

Jonathan Sterling Carlo Angiuli Daniel Gratzer

Published in: CoRR (2019)

Keyphrases

digital images
real time
databases
high level
natural language
context free grammars
clustering algorithm
relational databases
programming language
partial order
definition language
syntactic analysis