Introducing Monads and State Monad at PSUG
A category-theoretic view of model-driven
Prolog2 (1)
C. Varela1 Logic Programming (PLP 11.3) Prolog Imperative Control Flow: Backtracking Cut, Fail, Not Carlos Varela Rennselaer Polytechnic Institute September.
Triangulated Categories. Jaber Akbari //jaberakbari.ir/ //jaberakbari.com/ May 2015.
Balanced Category Theory Claudio Pisani Calais, June 2008.
Balanced Category Theory
Odd homology of tangles and cobordisms