Compositional Representable Executable Machines
Updated 2023-11-27 11:43:10 +03:00
Free categories, free arrows and free categories with monadic actions
Updated 2023-06-04 14:27:48 +03:00