Approximately Computable Structures, international hybrid conference Applied Category Theory Graph-Operad-Logic (invited). Conference Paper uri icon