Ontwikkelingen en toepassingen van categorische algebra Vrije Universiteit Brussel
The objective of this proposal is twofold: to use computational and algebraic methods in order to advance in the development of categorical algebra, and to apply the existing categorical-algebraic knowledge and techniques in order to obtain novel approaches of ...