3 citations · 3 across the 1 of their papers we have counts for
1 paper · 1 filter
Russ Harmer, Eugenia Oshurko
A mathematical theory is presented for the representation of knowledge in the form of a directed acyclic hierarchy of objects in a category where all paths between any given pair o…