1. Datafun: a functional Datalog
2. Ali Assaf, Alejandro Díaz-Caro, Simon Perdrix, Christine Tasson, and Benoît Valiron. Call-by-value, call-by-name and the vectorial behaviour of the algebraic lambda-calculus. Logical Methods in Computer Science, 10(4), 2014.
3. Chris Barrett, Willem Heijltjes, and Guy McCusker. The Functional Machine Calculus II: Semantics. In 31st EACSL Annual Conference on Computer Science Logic (CSL), volume 252 of LIPIcs, pages 10:1--10:18, 2023.
4. Differential categories
5. Deconstructing the Calculus of Relations with Tape Diagrams