Proceedings Applied Category Theory 2019
Applied Category Theory is a new conference series. All papers are carefully refereed, and the bar for acceptance is high. This 1st occurrence in this format resulted in some 70 submitted papers and 150 attendants. The conference is part of the Compositionally family, a new diamond open access journal.
PDF AbstractCategories
Logic in Computer Science
Datasets
Add Datasets
introduced or used in this paper
