Representing Knowledge and Querying Data using Double-Functorial Semantics

Author

Michael Lambert, Evan Patterson