4 citations · 6 across the 3 of their papers we have counts for
1 paper · 1 filter
Wolfram Kahl
We employ the dependently-typed programming language Agda2 to explore formalisation of untyped and typed term graphs directly as set-based graph structures, via the gs-monoidal cat…