Project Type:
Project
Project Sponsors:
Project Award:
Project Timeline:
2021-08-02 – 2024-06-30
Lead Principal Investigator:
This project explores potential applications of category theory in the area of machine reasoning.