Cover Image

Saved in:
Bibliographic Details
Main Authors: Di Lavore, Elena, Leal, Wilmer, de Paiva, Valeria
Format: Preprint
Published: 2021
Subjects:
Category Theory
Logic in Computer Science
03B70, 18M45, 19D23, 18D15, 18B10, 05C20, 05C76
Online Access:https://arxiv.org/abs/2105.12801
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2105.12801

Similar Items