Three equivalent ordinal notation systems in cubical Agda.

Fredrik Nordvall Forsberg Chuangjie Xu Neil Ghani

Published in: CPP (2020)

Keyphrases

distributed systems
information retrieval
data structure
digital images
building blocks
neural network
real world
machine learning
social networks
digital libraries
business processes
complex systems
systems require
visual languages