Cubical Syntax for Reflection-Free Extensional Equality.

Jonathan Sterling Carlo Angiuli Daniel Gratzer

Published in: FSCD (2019)

Keyphrases

digital images
natural language
high level
databases
neural network
partial order
database
data sets
artificial intelligence
website
data structure
context free grammars
fixpoint
topology preserving
definition language