Stem allegori$ (all stems)
3 papers:
- LICS-2015-BrunetP #automaton #petri net
- Petri Automata for Kleene Allegories (PB, DP), pp. 68–79.
- ICLP-2012-AriasL #logic programming
- Logic Programming in Tabular Allegories (EJGA, JL), pp. 334–347.
- LICS-1994-BrownH #category theory #design
- Categories, Allegories and Circuit Design (CB, GH), pp. 372–381.